Search Sciweavers | Sciweavers

1486 search results - page 15 / 298

» A Logically Saturated Extension of

105

click to vote

ICCS
2000
Springer

103views Applied Computing» more ICCS 2000»

A Contextual-Logic Extension of TOSCANA

15 years 9 months ago

Download www.itee.uq.edu.au

Peter W. Eklund, Bernd Groh, Gerd Stumme, Rudolf W...

claim paper

Read More »

132

click to vote

ISMIS
2000
Springer

68views Artificial Intelligence» more ISMIS 2000»

A Simple and Tractable Extension of Situation Calculus to Epistemic Logic

15 years 9 months ago

Download www.irit.fr

Robert Demolombe, Maria del Pilar Pozos Parra

claim paper

Read More »

110

click to vote

AAAI
2007

84views Intelligent Agents» more AAAI 2007»

Implementing Modal Extensions of Defeasible Logic for the Semantic Web

15 years 7 months ago

Download www.aaai.org

Nikos Dimaresis, Grigoris Antoniou

claim paper

Read More »

114

click to vote

IJCAI
2007

172views Artificial Intelligence» more IJCAI 2007»

Conservative Extensions in Expressive Description Logics

15 years 7 months ago

Download www.csc.liv.ac.uk

Carsten Lutz, Dirk Walther, Frank Wolter

claim paper

Read More »

110

click to vote

AIML
2006

94views Logical Reasoning» more AIML 2006»

Conservative extensions in modal logic

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers