scientific article; zbMATH DE number 25191
From MaRDI portal
Publication:3983044
Recommendations
- scientific article; zbMATH DE number 4072431
- scientific article; zbMATH DE number 194376
- Publication:3030254
- scientific article; zbMATH DE number 826302
- Reasoning with logic programming
- Logic programming with satisfiability
- Logic Programming with Strong Negation and Inexact Predicates
- Logic programs and recursion
- Deducing Logic Programs
- Linear Logic and Exceptions
Cited in
(20)- Well-founded semantics and stratification for ordered logic programs
- Resolving contradictions: A plausible semantics for inconsistent systems
- A semantics for a class of non-deterministic and causal production system programs
- Prioritized logic programming and its application to commonsense reasoning
- An encompassing framework for paraconsistent logic programs
- Syntax and semantics of multi-adjoint normal logic programming
- A rule based knowledge transaction model for mobile environments
- Handling exceptions in logic programming without negation as failure
- Modeling simultaneous events with default reasoning and tight derivations
- scientific article; zbMATH DE number 4164124 (Why is no real title available?)
- Dealing Automatically with Exceptions by Introducing Specificity in ASP
- Linear Logic and Exceptions
- scientific article; zbMATH DE number 6991660 (Why is no real title available?)
- Tableaux for logic programming with strong negation
- Escape from Zurg: an exercise in logic programming
- An operator for composing deductive data bases with theories of constraints
- Update rules in Datalog programs
- Loop checking and the well-founded semantics
- Super logic programs
- Logics in Artificial Intelligence
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 Q3983044)
