Search Sciweavers | Sciweavers

519 search results - page 5 / 104

» Qualitative choice logic

159

click to vote

FOIKS
2004
Springer

127views Information Technology» more FOIKS 2004»

Implementing Ordered Choice Logic Programming using Answer Set Solvers

15 years 11 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 »

126

click to vote

PADL
2007
Springer

156views Programming Languages» more PADL 2007»

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

15 years 12 months ago

Download www7.in.tum.de

Andreas Podelski, Andrey Rybalchenko

claim paper

Read More »

143

click to vote

CSL
1999
Springer

130views Automated Reasoning» more CSL 1999»

Choice Logic Programs and Nash Equilibria in Strategic Games

15 years 10 months ago

Download www.cs.bath.ac.uk

Marina De Vos, Dirk Vermeir

claim paper

Read More »

116

click to vote

TARK
1998
Springer

104views Automated Reasoning» more TARK 1998»

Logic and Choice

15 years 10 months ago

Download www.uni-regensburg.de

Hans Rott

claim paper

Read More »

Voted

ATAL
2006
Springer

104views Intelligent Agents» more ATAL 2006»

Knowing how to play: uniform choices in logics of agency

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers