scientific article; zbMATH DE number 4199656

Recommendations

scientific article; zbMATH DE number 4199653
scientific article; zbMATH DE number 4147465
Publication:3484349
On the declarative and procedural semantics of logic programs
scientific article; zbMATH DE number 545140
An alternative approach to the semantics of disjunctive logic programs and deductive databases
Declarative Logic Programming: Theory, Systems, and Applications
scientific article; zbMATH DE number 10085
Semantics and expressive power of nondeterministic constructs in deductive databases

Cited in

(only showing first 100 items - show all)

Composite event recognition with arbitrary specifications
d-\( \mathcal{B} \): a language for well-founded deontic planning
Generalized disjunctive well-founded semantics for logic programs.
Logic programming and knowledge representation---The A-Prolog perspective
A logic for reasoning with inconsistency
A comparison of Statecharts step semantics
Testing logic programs for local stratification
Verifying local stratifiability of logic programs and databases
COMPUTING THE WELL-FOUNDED MODEL OF DEDUCTIVE DATABASES
Relating minimal models and pre-requisite-free normal defaults
\texttt{xASP}: an explanation generation system for answer set programming
Efficient and flexible access control via Jones-optimal logic program specialisation
A functorial framework for constraint normal logic programming
Disjunctive logic and semantics of disjunctive logic programs
scientific article; zbMATH DE number 4155872 (Why is no real title available?)
IsaLog¬: a deductive language with negation for complex-object databases with hierarchies
The meaning of negative premises in transition system specifications. II
Fixpoint semantics for logic programming a survey
Minimalism, justification and non-monotonicity in deductive databases
Modeling the suppression task under weak completion and well-founded semantics
Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
scientific article; zbMATH DE number 1696847 (Why is no real title available?)
Stratified negation in temporal logic programming and the cycle-sum test
Stratified extended multi-adjoint logic programming
Contributions to the stable model semantics of logic programs with negation
Bottom-up evaluation and query optimization of well-founded models
Tie-breaking semantics and structural totality
A logic for programming with complex objects
Complexity results for answer set programming with bounded predicate arities and implications
The expressive power of stratified logic programs
Inductive theorem proving by consistency for first-order clauses
Semi-equilibrium models for paracoherent answer set programs
Unfold/fold transformation of stratified programs
A transformation system for deductive database modules with perfect model semantics
A model building framework for answer set programming with external computations
Declarative Logic Programming: Theory, Systems, and Applications
A theory of nonmonotonic inheritance based on annotated logic
On the autoepistemic reconstruction of logic programming
Programming in three-valued logic
Autoepistemic logic of knowledge and beliefs
A unifying view for logic programming with non-monotonic reasoning
On the relation between SPARQL1.1 and Answer Set Programming
Querying disjunctive databases through nonmonotonic logics
Abduction from logic programs: Semantics and complexity
Inferring negative information from disjunctive databases
Constructing interpretations of deductive databases using reduction and dynamic stratification
General logical databases and programs: Default logic semantics and stratification
Semantics and complexity of recursive aggregates in answer set programming
Three-valued nonmonotonic formalisms and semantics of logic programs
Datalog: Bag Semantics via Set Semantics
Fixpoint techniques for non-monotone maps
Two simple characterizations of well-founded semantics
Efficient and Scalable Induction of Logic Programs Using a Deductive Database System
On the relations between stable and well-founded semantics of logic programs
Graph properties for normal logic programs
Partial order programming (revisited)
The alternating fixpoint of logic programs with negation
A context for belief revision: forward chaining-normal nonmonotonic rule systems
Locally stratified Boolean grammars
To Vladimir Lifschitz on His 65th Birthday
Acyclic logic programs and the completeness of SLDNF-resolution
Stratified resolution
Answer Set Programming: A Primer
The limits of fixed-order computation
Monotonic aggregation in deductive databases
Embedding circumscriptive theories in general disjunctive programs
scientific article; zbMATH DE number 2085287 (Why is no real title available?)
scientific article; zbMATH DE number 49786 (Why is no real title available?)
An alternative approach to the semantics of disjunctive logic programs and deductive databases
The expressiveness of locally stratified programs
Formalizing a logic for logic programming
Formalizing incomplete knowledge in incomplete databases
scientific article; zbMATH DE number 52489 (Why is no real title available?)
Transition system specifications with negative premises
On the coincidence of semantics for uniquely determined programs
Logic programs, well-orderings, and forward chaining
Characterizations of the stable semantics by partial evaluation
A three-valued semantics for deductive databases and logic programs
An abstract, argumentation-theoretic approach to default reasoning
On the extension of logic programming with negation through uniform proofs
The intricacies of three-valued extensional semantics for higher-order logic programs
A necessary condition for constructive negation in constraint logic programming
Programming with annotated logics
scientific article; zbMATH DE number 4185010 (Why is no real title available?)
Temporal stratification tests for linear and branching-time deductive databases
Circumscribing DATALOG: expressive power and complexity
The Fusemate logic programming system
Possible models computation and revision -- a practical approach
Semantics for positive/negative conditional rewrite systems
Semantics of structured normal logic programs
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
Modular paracoherent answer sets
Some properties of system descriptions of \(\mathcal{AL}_d\)
On cyclic covers and perfect models
Reasoning with minimal models: efficient algorithms and applications
Knowledge compilation of logic programs using approximation fixpoint theory
Hypothetical answers to continuous queries over data streams
Prioritized logic programming and its application to commonsense reasoning
Safe inductions and their applications in knowledge representation
On the strong completion of logic programs

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 Q3348437)