Search Sciweavers | Sciweavers

1071 search results - page 38 / 215

» Modal Logics, Description Logics and Arithmetic Reasoning

click to vote

AAAI
2011

157views Intelligent Agents» more AAAI 2011»

The Epistemic Logic Behind the Game Description Language

12 years 7 months ago

Download www.cse.unsw.edu.au

A general game player automatically learns to play arbitrary new games solely by being told their rules. For this purpose games are speciﬁed in the game description language GDL...

Ji Ruan, Michael Thielscher

claim paper

Read More »

click to vote

ECSQARU
2005
Springer

114views Automated Reasoning» more ECSQARU 2005»

Probabilistic Description Logic Programs

14 years 1 months ago

Download www.kr.tuwien.ac.at

Thomas Lukasiewicz

claim paper

Read More »

click to vote

CL
2000
Springer

114views Automated Reasoning» more CL 2000»

Reasoning about Duplicate Elimination with Description Logic

14 years 1 days ago

Download www.inf.unibz.it

Vitaliy L. Khizder, David Toman, Grant E. Weddell

claim paper

Read More »

click to vote

DLOG
2006

130views Automated Reasoning» more DLOG 2006»

Description Logic Reasoning for Dynamic ABoxes

13 years 9 months ago

Download www.mindswap.org

Christian Halaschek-Wiener, Bijan Parsia, Evren Si...

claim paper

Read More »

click to vote

DLOG
2003

101views Automated Reasoning» more DLOG 2003»

e-Service Composition by Description Logics Based Reasoning

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers