Pages that link to "Item:Q2851222"
From MaRDI portal
The following pages link to Logic Programming and Nonmonotonic Reasoning (Q2851222):
Displaying 50 items.
- Towards Reactive Multi-Context Systems (Q2851223) (← links)
- Logic Programming in the 1970s (Q2851224) (← links)
- Integrating Temporal Extensions of Answer Set Programming (Q2851228) (← links)
- Forgetting under the Well-Founded Semantics (Q2851229) (← links)
- The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics (Q2851230) (← links)
- Symbolic System Synthesis Using Answer Set Programming (Q2851234) (← links)
- Accurate Computation of Sensitizable Paths Using Answer Set Programming (Q2851235) (← links)
- Hex Semantics via Approximation Fixpoint Theory (Q2851236) (← links)
- Encoding Higher Level Extensions of Petri Nets in Answer Set Programming (Q2851238) (← links)
- Cplus 2ASP: Computing Action Language ${\cal C}$ + in Answer Set Programming (Q2851240) (← links)
- Towards Answer Set Programming with Sorts (Q2851241) (← links)
- Prolog and ASP Inference under One Roof (Q2851242) (← links)
- Event-Object Reasoning with Curated Knowledge Bases: Deriving Missing Information (Q2851244) (← links)
- Towards Query Answering in Relational Multi-Context Systems (Q2851246) (← links)
- Spectra in Abstract Argumentation: An Analysis of Minimal Change (Q2851247) (← links)
- Normalizing Cardinality Rules Using Merging and Sorting Constructions (Q2851248) (← links)
- Experience Based Nonmonotonic Reasoning (Q2851249) (← links)
- An ASP Application in Integrative Biology: Identification of Functional Gene Units (Q2851251) (← links)
- Evaluating Answer Set Clause Learning for General Game Playing (Q2851253) (← links)
- A Sequential Model for Reasoning about Bargaining in Logic Programs (Q2851254) (← links)
- Extending the Metabolic Network of Ectocarpus Siliculosus Using Answer Set Programming (Q2851257) (← links)
- Negation as a Resource: A Novel View on Answer Set Semantics (Q2851258) (← links)
- AGM-Style Belief Revision of Logic Programs under Answer Set Semantics (Q2851259) (← links)
- Efficient Approximation of Well-Founded Justification and Well-Founded Domination (Q2851261) (← links)
- Approximate Epistemic Planning with Postdiction as Answer-Set Programming (Q2851263) (← links)
- Combining Equilibrium Logic and Dynamic Logic (Q2851264) (← links)
- Game Semantics for Non-monotonic Intensional Logic Programming (Q2851265) (← links)
- Decidability and Implementation of Parametrized Logic Programs (Q2851266) (← links)
- Non-monotonic Temporal Goals (Q2851267) (← links)
- On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics (Q2851269) (← links)
- Turner’s Logic of Universal Causation, Propositional Logic, and Logic Programming (Q2851270) (← links)
- Concrete Results on Abstract Rules (Q2851271) (← links)
- Implementing Belief Change in the Situation Calculus and an Application (Q2851272) (← links)
- Debugging Non-ground ASP Programs with Choice Rules, Cardinality and Weight Constraints (Q2851274) (← links)
- Conflict-Based Program Rewriting for Solving Configuration Problems (Q2851276) (← links)
- Program Updating by Incremental and Answer Subsumption Tabling (Q2851278) (← links)
- Characterization Theorems for Revision of Logic Programs (Q2851279) (← links)
- Flexible Combinatory Categorial Grammar Parsing Using the CYK Algorithm and Answer Set Programming (Q2851280) (← links)
- Early Recovery in Logic Program Updates (Q2851282) (← links)
- Preference Handling for Belief-Based Rational Decisions (Q2851283) (← links)
- Justifications for Logic Programming (Q2851284) (← links)
- Belief Change in Nonmonotonic Multi-Context Systems (Q2851285) (← links)
- On Optimal Solutions of Answer Set Optimization Problems (Q2851286) (← links)
- Logic, Probability and Computation: Foundations and Issues of Statistical Relational AI (Q3003238) (← links)
- Modularity of P-Log Programs (Q3003239) (← links)
- Symmetry Breaking for Distributed Multi-Context Systems (Q3003240) (← links)
- Splitting an Argumentation Framework (Q3003241) (← links)
- Reactive Answer Set Programming (Q3003243) (← links)
- Communicating ASP and the Polynomial Hierarchy (Q3003244) (← links)
- Loop Formulas for Splitable Temporal Logic Programs (Q3003245) (← links)
