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

13 years 10 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

13 years 10 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

13 years 10 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

13 years 10 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

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers