AI 2011 - PDF Preprint Papers

AI 2011 Australian Conference on Artificial Intelligence

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed AI-2011 Paper

click to vote

AI
2011
Springer

250views Artificial Intelligence» more AI 2011»

Local closed world reasoning with description logics under the well-founded semantics

13 years 6 months ago

Download knoesis.wright.edu

An important question for the upcoming Semantic Web is how to best combine open world ontology languages, such as the OWL-based ones, with closed world rule-based languages. One o...

Matthias Knorr, José Júlio Alferes, ...

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	250	Local closed world reasoning with description logics under the well-founded semantics	claim
2	223	Bounded approximate decentralised coordination via the max-sum algorithm	claim
3	211	Decentralized MDPs with sparse interactions	claim
4	209	Exploiting Conversational Features to Detect High-Quality Blog Comments	claim
5	208	Approximation of action theories and its application to conformant planning	claim
6	202	Contracting preference relations for database applications	claim
7	196	Using a Heterogeneous Dataset for Emotion Analysis in Text	claim
8	194	The extended global cardinality constraint: An empirical survey	claim
9	180	Computer poker: A review	claim
10	171	Hybrid tractability of valued constraint problems	claim
11	170	A unifying action calculus	claim
12	169	Learning qualitative models from numerical data	claim
13	165	Comparing Humans and Automatic Speech Recognition Systems in Recognizing Dysarthric Speech	claim
14	160	A logic for reasoning about counterfactual emotions	claim
15	159	Parallelizing a Convergent Approximate Inference Method	claim
16	158	Stable models and circumscription	claim
17	158	Weighted argument systems: Basic definitions, algorithms, and complexity results	claim
18	157	Online planning for multi-agent systems with bounded communication	claim
19	152	Non-Markovian control in the Situation Calculus	claim
20	152	A survey of motivation frameworks for intelligent systems	claim
21	149	State agnostic planning graphs: deterministic, non-deterministic, and probabilistic planning	claim
22	147	The local geometry of multiattribute tradeoff preferences	claim
23	147	Subspace Mapping of Noisy Text Documents	claim
24	146	Instantiating abstract argumentation with classical logic arguments: Postulates and properties	claim
25	145	Semantic linking through spaces for cyber-physical-socio intelligence: A methodology	claim
26	144	Expressive markets for donating to charities	claim
27	143	SampleSearch: Importance sampling in presence of determinism	claim
28	143	Finding Small Backdoors in SAT Instances	claim
29	140	Representing preferences using intervals	claim
30	139	How does a box work? A study in the qualitative dynamics of solid objects	claim
31	137	Relational preference rules for control	claim
32	137	Learning Dialogue POMDP Models from Data	claim
33	130	On rules with existential variables: Walking the decidability line	claim
34	129	A new representation and associated algorithms for generalized planning	claim
35	126	Inconsistent heuristics in theory and practice	claim
36	125	First-order logical filtering	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers