Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

7

DLOG
1996

favoriteEmaildiscussreport

88views Automated Reasoning» more DLOG 1996»

On the Semantics of Epistemic Description Logics

13 years 5 months ago

On the Semantics of Epistemic Description Logics

Download www.inf.unibz.it

d Abstract) Riccardo Rosati Dipartimento di Informatica e Sistemistica Universita di Roma \La Sapienza" Via Salaria 113, 00198 Roma, Italy

Riccardo Rosati

Real-time Traffic

Automated Reasoning | DLOG 1996 | Riccardo Rosati Dipartimento | Roma \la Sapienza |

claim paper

Related Content

» The Epistemic Logic Behind the Game Description Language

» Practical Epistemic Entailment Checking in SROIQ

» Nested Epistemic Logic Programs

» Beyond Public Announcement Logic An Alternative Approach to Some AI Puzzles

» Some Semantics for a Logical Language for the Game of Dominoes

» Dynamic Epistemic Logic and Knowledge Puzzles

» Aggregate queries over ontologies

» Matching Semantic Service Descriptions with Local ClosedWorld Reasoning

» From DEL to EDL Exploring the Power of Converse Events

Post Info
More Details (n/a)

Added	02 Nov 2010
Updated	02 Nov 2010
Type	Conference
Year	1996
Where	DLOG
Authors	Riccardo Rosati

Comments (0)