Marina De Vos, Dirk Vermeir  Home/Search
Context Related
| tinf2.vub.ac.be/pub/dverm...csl99.ps.gz tinf2.vub.ac.be/~dvermeir...csl99.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: tinf2.vub.ac.be/~dvermeir...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We define choice logic programs as negation-free datalog programs that allow rules to have exclusive-only disjunctions in the head. We show that choice programs are equivalent to semi-negative datalog programs, at least as far as stable models are concerned. We also discuss an application where strategic games can be naturally formulated as choice programs; it turns out that the stable models of such programs capture exactly the set of Nash equilibria. Keywords: nondeterminism, choice, logic... (Update)
Context of citations to this paper: More
.... Programming or DOP CLP for short, incorporates the intuition behind both ordered logic programs ( 8] and choice logic programs ([4, 5]) The former models the ability of humans to reason with defaults 2 in a logic programming context, using a static ordering of the rules...
...two things need to be added to logic programming. First of all we need a mechanism to represent the possible decisions. As argued in [4, 5], choice logic programs are an intuitive tool to represent conditional decisions, as the semantics make sure that only one alternative...
Cited by: More
On Programs with Linearly Ordered Multiple Preferences - Van Nieuwenborgh, Heymans, .. (2004) (Correct)
An Ordered Logic Program Solver - Van Nieuwenborgh, Heymans, Vermeir (2005) (Correct)
A Logic for Modeling Decision Making with Dynamic Preferences - Marina De Vos (2000) (Correct)
Similar documents (at the sentence level):
17.5%: On the Role of Negation in Choice Logic Programs - Marina De Vos (1999) (Correct)
7.6%: Dynamically Ordered Probabilistic Choice Logic Programming - Marina De Vos (2000) (Correct)
Active bibliography (related documents): More All
0.5: Logical for Social Software - Pauly (2001) (Correct)
0.5: Representation Results for Defeasible Logic - Antoniou, Billington.. (2001) (Correct)
0.3: Reliable Semantics for Extended Logic Programs with Rule.. - Analyti, Pramanik (2004) (Correct)
Similar documents based on text: More All
0.8: Decisions, Agents and Games - De Vos, Vermeir (2001) (Correct)
0.8: Logic Programming Agents and Game Theory - Marina De Vos (2001) (Correct)
0.3: Logic Programming Agents Playing Games - Marina De Vos (2002) (Correct)
Related documents from co-citation: More All
2: the Role of Negation in Choice Logic Programs - De Vos, Vermeir - 1999
2: The Diagnosis Frontend of the dlv System - Eiter, Faber et al. - 1999
2: Specifying and Querying Database repairs using Logic Programs with Exceptions - Arenas, Bertossi et al. - 2000
BibTeX entry: (Update)
Marina De Vos and Dirk Vermeir. Choice Logic Programs and Nash Equilibria in Strategic Games. In Jorg Flum and Mario Rodrguez-Artalejo, editors, Computer Science Logic (CSL'99), volume 1683 of Lecture Notes in Computer Science, pages 266--276, Madrid, Spain, 1999. Springer Verslag. http://citeseer.ist.psu.edu/devos99choice.html More
@inproceedings{ devos99choice,
author = "Marina De Vos and Dirk Vermeir",
title = "Choice Logic Programs and Nash Equilibria in Strategic Games",
booktitle = "{CSL}",
pages = "266-276",
year = "1999",
url = "citeseer.ist.psu.edu/devos99choice.html" }
Citations (may not include all citations):858 The stable model semantics for logic programming - Gelfond, Lifschitz - 1988
282 A course in game theory (context) - Osborne, Rubinstein - 1994
88 Every logic program has a natural stratification and an iter.. - Przymusinski - 1989
77 Temporal logic programming (context) - Abadi, Manna - 1987
64 Stable models and non-determinism for logic programs with ne.. (context) - Sacca, Zaniolo - 1990
41 An alternative approach to the semantics of disjunctive logi.. (context) - Sakama, Inoue - 1994
40 The independent choice logic for modelling multiple agents u.. - Poole - 1997
12 A fixpoint semantics of ordered logic (context) - Laenens, Vermeir - 1990
7 Deterministic and non-deterministic stable models - Sacca - 1997
5 perfect information games and backward induction (context) - Bonanno, logic - 1998
3 Credulous and autoepistemic reasoning using ordered logic (context) - Geerts, Vermeir - 1991
3 knowledge and the epistemic foundations of game theory (context) - Battigalli, Bonanno et al.
2 Ordered logic: defeasible reasoning for multiple agents (context) - Geerts, Vermeir et al. - 1994
Documents on the same site (http://tinf2.vub.ac.be/~dvermeir/papers/index.html): More
Robust Semantics for Argumentation Frameworks - Jakobovits, Vermeir (1999) (Correct)
Dialectic Semantics for Argumentation Frameworks - Jakobovits, Vermeir (1999) (Correct)
On the Role of Negation in Choice Logic Programs - Marina De Vos (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC