Sciweavers

CORR
2002
Springer
115views Education» more  CORR 2002»
13 years 3 months ago
Linking Makinson and Kraus-Lehmann-Magidor preferential entailments
Abstract. Twelve years ago, various notions of preferential entailment have been introduced. The main reference is a paper by Kraus, Lehmann and Magidor (KLM), one of the main comp...
Yves Moinard
CORR
2002
Springer
93views Education» more  CORR 2002»
13 years 3 months ago
Modeling Complex Domains of Actions and Change
This paper studies the problem of modeling complex domains of actions and change within highlevel action description languages. We investigate two main issues of concern: (a) can ...
Antonis C. Kakas, Loizos Michael
ECCC
2007
99views more  ECCC 2007»
13 years 3 months ago
An Exponential Time/Space Speedup For Resolution
Satisfiability algorithms have become one of the most practical and successful approaches for solving a variety of real-world problems, including hardware verification, experime...
Philipp Hertel, Toniann Pitassi
CCCG
2006
13 years 5 months ago
2D Triangulation Representation Using Stable Catalogs
The problem of representing triangulations has been widely studied to obtain convenient encodings and space efficient data structures. In this paper we propose a new practical app...
Abdelkrim Mebarki, Luca Castelli Aleardi, Olivier ...
FIS
2008
13 years 5 months ago
Challenges and Opportunities for More Meaningful and Sustainable Internet Systems
Abstract. Despite its technological success story, the Internet is facing a rampant growth of isolated ontologies and a massive dump of unstructured legacy data. Therefore, archite...
Pieter De Leenheer, Stijn Christiaens
WIA
2009
Springer
13 years 10 months ago
FAdo and GUItar
FAdo is an ongoing project which aims to provide a set of tools for symbolic manipulation of formal languages. To allow highlevel programming with complex data structures, easy pro...
André Almeida, Marco Almeida, José A...