Search Sciweavers | Sciweavers

25

JELIA
2000
Springer

100views Artificial Intelligence» more JELIA 2000»

A Logic for Modeling Decision Making with Dynamic Preferences

13 years 11 months ago

We present a framework for decision making with the possibility to express circumstance-dependent preferences among different alternatives for a decision. This new formalism, Order...

Marina De Vos, Dirk Vermeir

claim paper

Read More »

36

click to vote

ECSQARU
2005
Springer

156views Automated Reasoning» more ECSQARU 2005»

Argument-Based Expansion Operators in Possibilistic Defeasible Logic Programming: Characterization and Logical Properties

14 years 1 months ago

Download cs.uns.edu.ar

Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating as well t...

Carlos Iván Chesñevar, Guillermo Ric...

claim paper

Read More »

26

click to vote

ECAI
2000
Springer

130views Artificial Intelligence» more ECAI 2000»

Logic Programs with Compiled Preferences

13 years 12 months ago

Download www.kr.tuwien.ac.at

Abstract. We describe an approach for compiling dynamic preferences into logic programs under the answer set semantics. An ordered logic program is an extended logic program in whi...

James P. Delgrande, Torsten Schaub, Hans Tompits

claim paper

Read More »

26

click to vote

JAPLL
2007

135views more JAPLL 2007»

Open answer set programming for the semantic web

13 years 7 months ago

Download www.kr.tuwien.ac.at

We extend answer set programming (ASP) with, possibly inﬁnite, open domains. Since this leads to undecidable reasoning, we restrict the syntax of programs, while carefully guard...

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir

claim paper

Read More »

27

click to vote

CORR
2008
Springer

128views Education» more CORR 2008»

Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination

13 years 7 months ago