Search Sciweavers | Sciweavers

58 search results - page 1 / 12

» kr 2010

click to vote

KR
2010
Springer

257views Automated Reasoning» more KR 2010»

Abstract Dialectical Frameworks

14 years 3 months ago

Download www.informatik.uni-leipzig.de

Gerhard Brewka, Stefan Woltran

claim paper

Read More »

click to vote

KR
2010
Springer

218views Automated Reasoning» more KR 2010»

The Modular Structure of an Ontology: An Empirical Study

14 years 3 months ago

Download www.cs.uwaterloo.ca

Bijan Parsia, Thomas Schneider 0002

claim paper

Read More »

click to vote

KR
2010
Springer

269views Automated Reasoning» more KR 2010»

Efficient Dominance Testing for Unconditional Preferences

14 years 3 months ago

Download www.cs.iastate.edu

Ganesh Ram Santhanam, Samik Basu, Vasant Honavar

claim paper

Read More »

click to vote

KR
2010
Springer

209views Automated Reasoning» more KR 2010»

Generalized Planning with Loops under Strong Fairness Constraints

14 years 3 months ago

Download goanna.cs.rmit.edu.au

Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sard...

claim paper

Read More »

click to vote

KR
2010
Springer

240views Automated Reasoning» more KR 2010»

Situation Calculus Based Programs for Representing and Reasoning about Game Structures

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers