Search Sciweavers | Sciweavers

10568 search results - page 28 / 2114

» Computer Intelligence and Formalization

184

click to vote

ASP
2005
Springer

298views Automated Reasoning» more ASP 2005»

Possibilistic Stable Model Computing

15 years 11 months ago

Download sunsite.informatik.rwth-aachen.de

Possibilistic Stable model Semantics is an extension of Stable Model Semantics that allows to merge uncertain and non monotonic reasoning into a unique framework. To achieve this a...

Pascal Nicolas, Claire Lefèvre

claim paper

Read More »

128

click to vote

TPHOL
2009
IEEE

257views Automated Reasoning» more TPHOL 2009»

Formalizing the Logic-Automaton Connection

16 years 15 days ago

Download www4.in.tum.de

Stefan Berghofer, Markus Reiter

claim paper

Read More »

135

click to vote

PRIMA
2007
Springer

112views Intelligent Agents» more PRIMA 2007»

Formalizing Excusableness of Failures in Multi-Agent Systems

16 years 1 hour ago

Download wiki.uni.lu

Eugen Staab, Thomas Engel

claim paper

Read More »

108

Voted

TPHOL
2005
IEEE

79views Automated Reasoning» more TPHOL 2005»

Formal Modeling of a Slicing Algorithm for Java Event Spaces in PVS

15 years 11 months ago

Download www.cs.york.ac.uk

Néstor Cataño

claim paper

Read More »

130

click to vote

ATAL
2005
Springer

82views Intelligent Agents» more ATAL 2005»

Formal handling of threats and rewards in a negotiation dialogue

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers