The following pages link to (Q3983043):
Displayed 50 items.
- Semi-equilibrium models for paracoherent answer set programs (Q253992) (← links)
- Domain expansion for ASP-programs with external sources (Q254002) (← links)
- On abstract modular inference systems and solvers (Q286083) (← links)
- Evaluating epistemic negation in answer set programming (Q286399) (← links)
- Querying incomplete information in RDF with SPARQL (Q286403) (← links)
- Preferences in artificial intelligence (Q314443) (← links)
- Data repair of inconsistent nonmonotonic description logic programs (Q322065) (← links)
- Inductive equivalence in clausal logic and nonmonotonic logic programming (Q413854) (← links)
- Ordered completion for first-order logic programs on finite structures (Q420824) (← links)
- Computing weighted solutions in ASP: representation-based method vs. search-based method (Q421455) (← links)
- Tightly integrated probabilistic description logic programs for representing ontology mappings (Q429437) (← links)
- Finding explanations of inconsistency in multi-context systems (Q460632) (← links)
- On the tractability of minimal model computation for some CNF theories (Q490649) (← links)
- John McCarthy's legacy (Q543573) (← links)
- Stable models and circumscription (Q543596) (← links)
- From answer set logic programming to circumscription via logic of GK (Q543597) (← links)
- Semantics and complexity of recursive aggregates in answer set programming (Q543600) (← links)
- Ordering default theories and nonmonotonic logic programs (Q557790) (← links)
- Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs (Q622117) (← links)
- Well-founded semantics for defeasible logic (Q625708) (← links)
- Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results (Q645074) (← links)
- A non-ground realization of the stable and well-founded semantics (Q671655) (← links)
- Combining explicit negation and negation by failure via Belnap's logic (Q673380) (← links)
- \textsc{Argonauts}: a working system for motivated cooperative agents (Q766275) (← links)
- On quasi-inconsistency and its complexity (Q785227) (← links)
- A first order nonmonotonic extension of constructive logic (Q813086) (← links)
- A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system (Q814436) (← links)
- Enhancing disjunctive logic programming systems by SAT checkers (Q814529) (← links)
- Towards a general theory of topological maps (Q814534) (← links)
- Nonmonotonic causal theories (Q814551) (← links)
- Reasoning with infinite stable models (Q814596) (← links)
- Combining event calculus and description logic reasoning via logic programming (Q831926) (← links)
- Equivalence issues in abduction and induction (Q833733) (← links)
- Nonmonotonic abductive inductive learning (Q833734) (← links)
- Probabilistic modelling, inference and learning using logical theories (Q841641) (← links)
- Answer set based design of knowledge systems (Q854966) (← links)
- Equilibrium logic (Q854969) (← links)
- Possibilistic uncertainty handling for answer set programming (Q854974) (← links)
- Answer set programming based on propositional satisfiability (Q861709) (← links)
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
- Connectionist modal logic: representing modalities in neural networks (Q870254) (← links)
- Magic Sets and their application to data integration (Q882436) (← links)
- Logic programming as classical inference (Q898781) (← links)
- Semantic-based construction of arguments: an answer set programming approach (Q899190) (← links)
- An axiomatic analysis of structured argumentation with priorities (Q899441) (← links)
- Design and results of the Fifth Answer Set Programming Competition (Q899444) (← links)
- On updates of hybrid knowledge bases composed of ontologies and rules (Q900304) (← links)
- Extended RDF: computability and complexity issues (Q905991) (← links)
- Modeling biological networks by action languages via answer set programming (Q941667) (← links)
- General default logic (Q987485) (← links)