Sciweavers

5378 search results - page 736 / 1076
» Base Logics in Argumentation
Sort
View
201
Voted
AGENTCL
2000
Springer
15 years 11 months ago
A Social Semantics for Agent Communication Languages
The ability to communicate is one of the salient properties of agents. Although a number of agent communication languages (ACLs) have been developed, obtaining a suitable formal se...
Munindar P. Singh
DATE
1999
IEEE
123views Hardware» more  DATE 1999»
15 years 11 months ago
An Algorithm for Face-Constrained Encoding of Symbols Using Minimum Code Length
Different logic synthesis tasks have been formulated as input encoding problems but restricted to use a minimum number of binary variables. This paper presents an original column ...
Manuel Martínez, Maria J. Avedillo, Jos&eac...
IPPS
1999
IEEE
15 years 11 months ago
Leonardo and Discipulus Simplex: An Autonomous, Evolvable Six-Legged Walking Robot
Evolutionary systems based on genetic algorithms GAs are common nowadays. One of the recent uses of such systems is in the burgeoning eld of evolvable hardware which involves, amo...
Gilles Ritter, Jean-Michel Puiatti, Eduardo Sanche...
ECSQARU
1999
Springer
15 years 11 months ago
Nonmonotonic and Paraconsistent Reasoning: From Basic Entailments to Plausible Relations
In this paper we develop frameworks for logical systems which are able to re ect not only nonmonotonic patterns of reasoning, but also paraconsistent reasoning. For this we conside...
Ofer Arieli, Arnon Avron
SIGMOD
1997
ACM
159views Database» more  SIGMOD 1997»
15 years 11 months ago
On-Line Warehouse View Maintenance
Data warehouses store materialized views over base data from external sources. Clients typically perform complex read-only queries on the views. The views are refreshed periodical...
Dallan Quass, Jennifer Widom