Sciweavers

4737 search results - page 612 / 948
» The LOGIC negotiation model
Sort
View
CDB
2004
Springer
158views Database» more  CDB 2004»
15 years 11 months ago
Constraint Databases, Data Structures and Efficient Query Evaluation
Abstract. Constraint databases that can be described by boolean combinations of polynomial inequalities over the reals have received ample research attention. In particular, the ex...
Joos Heintz, Bart Kuijpers
191
Voted
ECAIW
1994
Springer
15 years 11 months ago
Representing and Executing Agent-Based Systems
Abstract. In this paper we describe an approach to the representation and implementation of agent-based systems where the behaviour of an individual agent is represented by a set o...
Michael Fisher
ERCIMDL
2008
Springer
126views Education» more  ERCIMDL 2008»
15 years 9 months ago
An Extensible Virtual Digital Libraries Generator
In this paper we describe the design and implementation of the VDL Generator, a tool to simplify and automatise the Digital Library development process. In particular, we discuss h...
Massimiliano Assante, Leonardo Candela, Donatella ...
215
Voted
DAGSTUHL
1998
15 years 8 months ago
Specification of Dynamics for Knowledge-Based Systems
Abstract. During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a comple...
Pascal van Eck, Joeri Engelfriet, Dieter Fensel, F...
AO
2007
80views more  AO 2007»
15 years 7 months ago
Problems in the ontology of computer programs
As a first step in the larger project of charting the ontology of computer programs, we pose three central questions: (1) Can programs, hardware, and metaprograms be organized into...
Amnon H. Eden, Raymond Turner