Logic Programs with Annotated Disjunctions
Top Cited Papers
- 1 January 2004
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Logic Programs with Annotated DisjunctionsLecture Notes in Computer Science, 2004
- Probabilistic Reasoning With Answer SetsLecture Notes in Computer Science, 2003
- Hybrid probabilistic programsThe Journal of Logic Programming, 2000
- The independent choice logic for modelling multiple agents under uncertaintyArtificial Intelligence, 1997
- Answering queries from context-sensitive probabilistic knowledge basesTheoretical Computer Science, 1997
- Probabilistic logic programmingInformation and Computation, 1992
- Classical negation in logic programs and disjunctive databasesNew Generation Computing, 1991
- Acyclic programsNew Generation Computing, 1991
- The well-founded semantics for general logic programsJournal of the ACM, 1991
- An analysis of first-order logics of probabilityArtificial Intelligence, 1990