Search Sciweavers | Sciweavers

519 search results - page 5 / 104

» Qualitative choice logic

click to vote

FOIKS
2004
Springer

127views Information Technology» more FOIKS 2004»

Implementing Ordered Choice Logic Programming using Answer Set Solvers

14 years 1 months ago

Download www.cs.bath.ac.uk

Abstract. Ordered Choice Logic Programming (OCLP) allows for dynamic preference-based decision-making with multiple alternatives without the need for any form of negation. This com...

Marina De Vos

claim paper

Read More »

click to vote

PADL
2007
Springer

156views Programming Languages» more PADL 2007»

ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement

14 years 2 months ago

Download www7.in.tum.de

Andreas Podelski, Andrey Rybalchenko

claim paper

Read More »

click to vote

CSL
1999
Springer

130views Automated Reasoning» more CSL 1999»

Choice Logic Programs and Nash Equilibria in Strategic Games

14 years 4 days ago

Download www.cs.bath.ac.uk

Marina De Vos, Dirk Vermeir

claim paper

Read More »

click to vote

TARK
1998
Springer

104views Automated Reasoning» more TARK 1998»

Logic and Choice

14 years 1 days ago

Download www.uni-regensburg.de

Hans Rott

claim paper

Read More »

click to vote

ATAL
2006
Springer

104views Intelligent Agents» more ATAL 2006»

Knowing how to play: uniform choices in logics of agency

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers