Sciweavers

605 search results - page 75 / 121
» Dealing with logical omniscience
Sort
View
SIGIR
2004
ACM
14 years 2 months ago
A logic-based approach for computing service executions plans in peer-to-peer networks
Abstract. Today, peer-to-peer services can comprise a large and growing number of services, e.g. search services or services dealing with heterogeneous schemas in the context of Di...
Henrik Nottelmann, Norbert Fuhr
ATAL
2004
Springer
14 years 2 months ago
Desires, Norms and Constraints
This paper deals with modeling mental states of a rational agent, in particular states based on agent’s desires. It shows that the world the agent belongs to forces it to restri...
Laurence Cholvy, Christophe Garion
BIRTHDAY
2004
Springer
14 years 2 months ago
Duality for Three: Ternary Symmetry in Process Spaces
Ternary algebra has been used for detection of hazards in logic circuits since 1948. Process spaces have been introduced in 1995 act models of concurrent processes. Surprisingly, p...
Janusz A. Brzozowski, Radu Negulescu
ICCS
2004
Springer
14 years 2 months ago
A Priorean Approach to Time Ontologies
Any non-trivial top-level ontology should take temporal notions into account. The details of how this should be done, however, are frequently debated. In this paper it is argued th...
Peter Øhrstrøm, Henrik Schärfe
ICDAR
2003
IEEE
14 years 2 months ago
Detection, Extraction and Representation of Tables
We are concerned with the extraction of tables from exchange format representations of very diverse composite documents. We put forward a flexible representation scheme for comple...
Jean-Yves Ramel, Michel Crucianu, Nicole Vincent, ...