The following pages link to Logics in Artificial Intelligence (Q5394125):
Displaying 49 items.
- Tightly integrated probabilistic description logic programs for representing ontology mappings (Q429437) (← links)
- Finding explanations of inconsistency in multi-context systems (Q460632) (← links)
- Semantics and complexity of recursive aggregates in answer set programming (Q543600) (← links)
- Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs (Q622117) (← links)
- Monotonic aggregation in deductive databases (Q676422) (← links)
- The loop formula based semantics of description logic programs (Q764312) (← links)
- Equilibrium logic (Q854969) (← links)
- Design and results of the Fifth Answer Set Programming Competition (Q899444) (← links)
- Logic programs with abstract constraint atoms: the role of computations (Q969538) (← links)
- Exploiting conjunctive queries in description logic programs (Q1028641) (← links)
- On the relation among answer set solvers (Q1028643) (← links)
- LARS: a logic-based framework for analytic reasoning over streams (Q1648076) (← links)
- Reactive multi-context systems: heterogeneous reasoning in dynamic environments (Q1748467) (← links)
- Fixed point semantics for stream reasoning (Q2046012) (← links)
- Determining inference semantics for disjunctive logic programs (Q2289011) (← links)
- Vicious circle principle, aggregates, and formation of sets in ASP based languages (Q2321320) (← links)
- Supportedly stable answer sets for logic programs with generalized atoms (Q2360180) (← links)
- Disjunctive logic programming with types and objects: the \(\mathrm{DLV}^{+}\) system (Q2372203) (← links)
- Combining answer set programming with description logics for the semantic web (Q2389666) (← links)
- Enhancing DLV instantiator by backjumping techniques (Q2426106) (← links)
- FLP answer set semantics without circular justifications for general logic programs (Q2453743) (← links)
- Statistical statements in probabilistic logic programming (Q2694548) (← links)
- Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks (Q2835897) (← links)
- Well-Supported Semantics for Logic Programs with Generalized Rules (Q2900549) (← links)
- Logic programs with propositional connectives and aggregates (Q2946644) (← links)
- Thirteen Definitions of a Stable Model (Q3586017) (← links)
- Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web (Q3638227) (← links)
- On Reductive Semantics of Aggregates in Answer Set Programming (Q3643117) (← links)
- Combining Nonmonotonic Knowledge Bases with External Sources (Q3655190) (← links)
- Argumentation-Based Semantics for Logic Programs with First-Order Formulae (Q4571139) (← links)
- On the relation between SPARQL1.1 and Answer Set Programming (Q4583314) (← links)
- A model building framework for answer set programming with external computations (Q4593036) (← links)
- Stepwise debugging of answer-set programs (Q4603428) (← links)
- Modular Nonmonotonic Logic Programming Revisited (Q4649729) (← links)
- Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs (Q4649731) (← links)
- ASP-Core-2 Input Language Format (Q4957196) (← links)
- A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders (Q4957216) (← links)
- Omission-Based Abstraction for Answer Set Programs (Q4957218) (← links)
- Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language + (Q4957223) (← links)
- Incremental Answer Set Programming with Overgrounding (Q5108513) (← links)
- Relating Two Dialects of Answer Set Programming (Q5108518) (← links)
- Incremental maintenance of overgrounded logic programs with tailored simplifications (Q5140010) (← links)
- Preference-Based Diagnosis Selection in Multi-Context Systems (Q5172618) (← links)
- Integration of Abductive Reasoning and Constraint Optimization in SCIFF (Q5325766) (← links)
- Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings (Q5445301) (← links)
- Twelve Definitions of a Stable Model (Q5504644) (← links)
- Lparse Programs Revisited: Semantics and Representation of Aggregates (Q5504666) (← links)
- Normal Form Nested Programs (Q5900402) (← links)
- Lifted inference for statistical statements in probabilistic answer set programming (Q6064257) (← links)
