scientific article; zbMATH DE number 1531964
From MaRDI portal
Publication:4514010
Recommendations
Cited in
(61)- Foundation of logic programming based on inductive definition
- Domains for logic programming
- IDNAF Prolog
- Multi-dimensional logic programming: theoretical foundations
- Logic programming and knowledge representation---The A-Prolog perspective
- A sequential model of bargaining in logic programming
- What is answer set programming to propositional satisfiability
- Designing context-aware systems: a method for understanding and analysing context in practice
- Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics
- Advanced elementary formal systems.
- Learning directed relational models with recursive dependencies
- Practical reasoning using values: an argumentative approach based on a hierarchy of values
- On the graded acceptability of arguments in abstract and instantiated argumentation
- Possibilistic nested logic programs and strong equivalence
- Foundations of logic programming in hybrid logics with user-defined sharing
- Integrity constraints in OWL ontologies based on grounded circumscription
- Loop formulas for circumscription
- A characterization of answer sets for logic programs
- Foundations of Logic Programming in Hybridised Logics
- Logic Foundations of the OCL Modelling Language
- Backing and undercutting in defeasible logic programming
- scientific article; zbMATH DE number 410424 (Why is no real title available?)
- scientific article; zbMATH DE number 3872640 (Why is no real title available?)
- Modal Logic and Negation as Failure
- A semantics of logic programs without searching
- Dialectical Explanations in Defeasible Argumentation
- Theoretical Foundations and Semantics of Logic Programming
- N-Prolog: An extension of prolog with hypothetical implication. II. Logical foundations, and negation as failure
- scientific article; zbMATH DE number 4076677 (Why is no real title available?)
- scientific article; zbMATH DE number 4106296 (Why is no real title available?)
- scientific article; zbMATH DE number 26616 (Why is no real title available?)
- scientific article; zbMATH DE number 52709 (Why is no real title available?)
- scientific article; zbMATH DE number 65531 (Why is no real title available?)
- Logic Programming
- scientific article; zbMATH DE number 559187 (Why is no real title available?)
- scientific article; zbMATH DE number 708499 (Why is no real title available?)
- Rules as actions: A situation calculus semantics for logic programs
- scientific article; zbMATH DE number 10085 (Why is no real title available?)
- scientific article; zbMATH DE number 4003495 (Why is no real title available?)
- scientific article; zbMATH DE number 785048 (Why is no real title available?)
- scientific article; zbMATH DE number 783780 (Why is no real title available?)
- scientific article; zbMATH DE number 845588 (Why is no real title available?)
- scientific article; zbMATH DE number 1420805 (Why is no real title available?)
- A comparative study of some central notions of \(\mathit{ASPIC}^+\) and \textit{DeLP}
- Default Negation as Explicit Negation plus Update
- Role of logic programming in the FGCS project
- An approach to characterize graded entailment of arguments through a label-based framework
- Defeasible Argumentation Support for an Extended BDI Architecture
- On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP
- Witnesses for Answer Sets of Logic Programs
- Nonmonotonic reasoning by inhibition nets
- A Survey of the Proof-Theoretic Foundations of Logic Programming
- Automatic knowledge generation for a persuasion dialogue system with enthymemes
- Logic programming
- Synthesizing strongly equivalent logic programs: Beth definability for answer set programs via Craig interpolation in first-order logic
- A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system
- Equilibrium logic
- Answer set programming based on propositional satisfiability
- A labeled argumentation framework
- Equivalence for the G₃^-stable models semantics
- The foundations of DeLP: Defeating relations, games and truth values
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4514010)
