Titlebook: Logic Programming and Nonmonotonic Reasoning; 8th International Co Chitta Baral,Gianluigi Greco,Giorgio Terracina Conference proceedings 20

手鐲

書目名稱Logic Programming and Nonmonotonic Reasoning影響因子(影響力)




書目名稱Logic Programming and Nonmonotonic Reasoning影響因子(影響力)學科排名




書目名稱Logic Programming and Nonmonotonic Reasoning網絡公開度




書目名稱Logic Programming and Nonmonotonic Reasoning網絡公開度學科排名




書目名稱Logic Programming and Nonmonotonic Reasoning被引頻次




書目名稱Logic Programming and Nonmonotonic Reasoning被引頻次學科排名




書目名稱Logic Programming and Nonmonotonic Reasoning年度引用




書目名稱Logic Programming and Nonmonotonic Reasoning年度引用學科排名




書目名稱Logic Programming and Nonmonotonic Reasoning讀者反饋




書目名稱Logic Programming and Nonmonotonic Reasoning讀者反饋學科排名

考得

External Sources of Computation for Answer Set Solversms for evaluating Answer Set Programs with external predicates. The framework paves the way to Answer Set Programming in several directions such as pattern manipulation applications, as well as the possibility to exploit function symbols. . has been successfully implemented in the . system, which is now enabled to make external program calls.

平躺

An ID-Logic Formalization of the Composition of Autonomous Databasesvides a straightforward way of dealing with inconsistent data. Moreover, this framework facilitates the implementation of database repair and consistent query answering by means of a variety of reasoning systems.

Prognosis

OCTO

CAB

Answer Sets for Propositional Theories propose, in particular, a semantics for weight constraints that covers the problematic case of negative weights. Our semantics of aggregates is an extension of the approach due to Faber, Leone, and Pfeifer to a language with choice rules and, more generally, arbitrary rules with nested expressions.

SHRIK

On the Local Closed-World Assumption of Data-Sourcesder theory that can be processed by an independent reasoning system (for example a .). We consider different ways of representing our approach, relate it to other methods of representing local closed-word assumptions of data-sources, and show some useful properties of our framework which facilitate its application in real-life systems.

輕率的你

Computing Dialectical Trees Efficiently in Possibilistic Defeasible Logic Programmingntroduce definitions which allow to characterize dialectical trees constructively rather than declaratively, identifying relevant features for pruning the associated search space. The resulting approach can be easily generalized to be applied in other argumentation frameworks based in logic programming.

JIBE

蝕刻術

,odular-,: An Elaboration Tolerant Approach to the Ramification and Qualification Problemsus qualification problems. We also show how a notion of (micro) processes can be used to facilitate reasoning at the dual levels of temporal granularity necessary for narrative-based domains involving “instantaneous” series of indirect and knock-on effects.