Answer Sets for Prioritized Logic Programs

doi 10.7551/mitpress/4283.003.0021

Full Text

Abstract

Available in

Date

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 ScienceTheoretical Computer Science
2005English

Extending Answer Sets for Logic Programming Agents

Annals of Mathematics and Artificial Intelligence
Applied MathematicsArtificial Intelligence
2004English

Cc⊤: A Correspondence-Checking Tool for Logic Programs Under the Answer-Set Semantics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Determinacy Inference for Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Rational Action in Agent Programs With Prioritized Goals

2003English

Minish HAT: A Tool for the Minimization of Here-And-There Logic Programs and Theories in Answer Set Programming

Proceedings
2019English

Logic Programs for Consistency-Based Diagnosis.

English

Ordering Optimisations for Concurrent Logic Programs

English

Extending Logic Programs With Description Logic Expressions for the Semantic Web

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy