Search Sciweavers | Sciweavers

4617 search results - page 217 / 924

» Automation of Diagrammatic Reasoning

330

click to vote

LPNMR
2011
Springer

267views Automated Reasoning» more LPNMR 2011»

Communicating ASP and the Polynomial Hierarchy

14 years 9 months ago

Download www.cwi.ugent.be

Communicating answer set programming is a framework to represent and reason about the combined knowledge of multiple agents using the idea of stable models. The semantics and expre...

Kim Bauters, Steven Schockaert, Dirk Vermeir, Mart...

claim paper

Read More »

195

click to vote

RWEB
2010
Springer

230views Automated Reasoning» more RWEB 2010»

Reasoning and Explanation in EL and in Expressive Description Logics

15 years 4 months ago

Download lat.inf.tu-dresden.de

Description Logics (DLs) are the formalism underlying the standard web ontology language OWL 2. DLs have formal semantics which are the basis for powerful reasoning services. In th...

Anni-Yasmin Turhan

claim paper

Read More »

215

click to vote

GIS
2007
ACM

129views Automated Reasoning» more GIS 2007»

Geometric algorithms for clearance based optimal path computation

16 years 7 months ago