Logics in Artificial Intelligence

Cited In (47)

Preference-Based Diagnosis Selection in Multi-Context Systems
A model building framework for answer set programming with external computations
On the relation between SPARQL1.1 and Answer Set Programming
A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders
Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language +
Omission-Based Abstraction for Answer Set Programs
Semantics and complexity of recursive aggregates in answer set programming
Well-Supported Semantics for Logic Programs with Generalized Rules
Logic programs with abstract constraint atoms: the role of computations
Twelve Definitions of a Stable Model
Incremental Answer Set Programming with Overgrounding
Stepwise debugging of answer-set programs
Equilibrium logic
Combining Nonmonotonic Knowledge Bases with External Sources
ASP-Core-2 Input Language Format
On Reductive Semantics of Aggregates in Answer Set Programming
Normal Form Nested Programs
LARS: a logic-based framework for analytic reasoning over streams
Tightly integrated probabilistic description logic programs for representing ontology mappings
Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings
Reactive multi-context systems: heterogeneous reasoning in dynamic environments
Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs
Finding explanations of inconsistency in multi-context systems
Integration of Abductive Reasoning and Constraint Optimization in SCIFF
Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs
On the relation among answer set solvers
Incremental maintenance of overgrounded logic programs with tailored simplifications
Lifted inference for statistical statements in probabilistic answer set programming
Disjunctive logic programming with types and objects: the \(\mathrm{DLV}^{+}\) system
Combining answer set programming with description logics for the semantic web
Enhancing DLV instantiator by backjumping techniques
Fixed point semantics for stream reasoning
Argumentation-Based Semantics for Logic Programs with First-Order Formulae
Vicious circle principle, aggregates, and formation of sets in ASP based languages
Exploiting conjunctive queries in description logic programs
Design and results of the Fifth Answer Set Programming Competition
Lparse Programs Revisited: Semantics and Representation of Aggregates
The loop formula based semantics of description logic programs
Relating Two Dialects of Answer Set Programming
FLP answer set semantics without circular justifications for general logic programs
Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks
Determining inference semantics for disjunctive logic programs
Supportedly stable answer sets for logic programs with generalized atoms
Modular Nonmonotonic Logic Programming Revisited
Thirteen Definitions of a Stable Model
Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web
Statistical statements in probabilistic logic programming

This page was built for publication: Logics in Artificial Intelligence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5394125)