scientific article; zbMATH DE number 4199656
From MaRDI portal
Publication:3348437
zbMATH Open0726.68067MaRDI QIDQ3348437FDOQ3348437
Authors: Teodor C. Przymusinski 
Publication date: 1988
Title of this publication is not available (Why is that?)
Recommendations
- scientific article
- scientific article
- 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)
- The expressive power of stratified logic programs
- 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 theory of nonmonotonic inheritance based on annotated logic
- On the autoepistemic reconstruction of logic programming
- Programming in three-valued logic
- Querying disjunctive databases through nonmonotonic logics
- Abduction from logic programs: Semantics and complexity
- Inferring negative information from disjunctive databases
- Semantics and complexity of recursive aggregates in answer set programming
- General logical databases and programs: Default logic semantics and stratification
- Three-valued nonmonotonic formalisms and semantics of logic programs
- On the relations between stable and well-founded semantics of logic programs
- Graph properties for normal logic programs
- The alternating fixpoint of logic programs with negation
- A context for belief revision: forward chaining-normal nonmonotonic rule systems
- Locally stratified Boolean grammars
- The limits of fixed-order computation
- Embedding circumscriptive theories in general disjunctive programs
- Answer Set Programming: A Primer
- Title not available (Why is that?)
- Acyclic logic programs and the completeness of SLDNF-resolution
- Monotonic aggregation in deductive databases
- 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
- Characterizations of the stable semantics by partial evaluation
- Transition system specifications with negative premises
- Logic programs, well-orderings, and forward chaining
- A three-valued semantics for deductive databases and logic programs
- An abstract, argumentation-theoretic approach to default reasoning
- Title not available (Why is that?)
- A necessary condition for constructive negation in constraint logic programming
- Temporal stratification tests for linear and branching-time deductive databases
- The Fusemate logic programming system
- Possible models computation and revision -- a practical approach
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
- Semantics of structured normal logic programs
- Knowledge compilation of logic programs using approximation fixpoint theory
- Reasoning with minimal models: efficient algorithms and applications
- Prioritized logic programming and its application to commonsense reasoning
- On the strong completion of logic programs
- Title not available (Why is that?)
- An algorithm to compute circumscription
- Rooted branching bisimulation as a congruence
- Induction = I-axiomatization + first-order consistency.
- An overview of transaction logic
- Logic programming and reasoning with incomplete information
- The semantics of incomplete databases as an expression of preferences
- Generalized metrics and uniquely determined logic programs.
- Conditional entailment: bridging two approaches to default reasoning.
- On the relationship between circumscription and negation as failure
- Modular Paracoherent Answer Sets
- Lexicographic priorities in default logic
- Transforming normal logic programs to constraint logic programs
- Computing only minimal answers in disjunctive deductive databases
- Database querying under changing preferences
- Partial order programming (Revisited)
- The relationship between stable, supported, default and autoepistemic semantics for general logic programs
- Generalized disjunctive well-founded semantics for logic programs.
- Logic programming and knowledge representation---The A-Prolog perspective
- A comparison of Statecharts step semantics
- A logic for reasoning with inconsistency
- Efficient and flexible access control via Jones-optimal logic program specialisation
- A functorial framework for constraint normal logic programming
- Title not available (Why is that?)
- The meaning of negative premises in transition system specifications. II
- Stratified negation in temporal logic programming and the cycle-sum test
- Fixpoint semantics for logic programming a survey
- Title not available (Why is that?)
- Minimalism, justification and non-monotonicity in deductive databases
- Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
- Complexity results for answer set programming with bounded predicate arities and implications
- 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
- A model building framework for answer set programming with external computations
- Declarative Logic Programming: Theory, Systems, and Applications
- On the relation between SPARQL1.1 and Answer Set Programming
- Efficient and Scalable Induction of Logic Programs Using a Deductive Database System
- Autoepistemic logic of knowledge and beliefs
- A unifying view for logic programming with non-monotonic reasoning
- Datalog: Bag Semantics via Set Semantics
- Fixpoint techniques for non-monotone maps
- Two simple characterizations of well-founded semantics
- Constructing interpretations of deductive databases using reduction and dynamic stratification
- To Vladimir Lifschitz on His 65th Birthday
- Stratified resolution
- Title not available (Why is that?)
- Title not available (Why is that?)
- Formalizing incomplete knowledge in incomplete databases
- On the coincidence of semantics for uniquely determined programs
- On the extension of logic programming with negation through uniform proofs
- The intricacies of three-valued extensional semantics for higher-order logic programs
- Semantics for positive/negative conditional rewrite systems
- Circumscribing DATALOG: expressive power and complexity
- On cyclic covers and perfect models
- Safe inductions and their applications in knowledge representation
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)
