Amanote Research
Register
Sign In
Answer Sets for Prioritized Logic Programs
doi 10.7551/mitpress/4283.003.0021
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 1997
Authors
Unknown
Publisher
The MIT Press
Related search
Smodels a — A System for Computing Answer Sets of Logic Programs With Aggregates
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Extending Answer Sets for Logic Programming Agents
Annals of Mathematics and Artificial Intelligence
Applied Mathematics
Artificial Intelligence
Cc⊤: A Correspondence-Checking Tool for Logic Programs Under the Answer-Set Semantics
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Determinacy Inference for Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Minish HAT: A Tool for the Minimization of Here-And-There Logic Programs and Theories in Answer Set Programming
Proceedings
Rational Action in Agent Programs With Prioritized Goals
Ordering Optimisations for Concurrent Logic Programs
Logic Programs for Consistency-Based Diagnosis.
From Answer Set Logic Programming to Circumscription via Logic of GK
Artificial Intelligence
Linguistics
Language
Artificial Intelligence
