Sciweavers

653 search results - page 51 / 131
» Partial equilibrium logic
Sort
View
COOPIS
2002
IEEE
14 years 18 days ago
A Defeasible Ontology Language
We extend the description logic ¢¤£¦¥¦§©¨ with a preference order on the axioms. With this strict partial order certain axioms can be overruled, if defeated with more ...
Stijn Heymans, Dirk Vermeir
SYNTHESE
2008
80views more  SYNTHESE 2008»
13 years 7 months ago
Majority merging by adaptive counting
The present paper introduces a belief merging procedure by majority using the standard format of Adaptive Logics. The core structure of the logic ADMc (Adaptive Doxastic Merging by...
Giuseppe Primiero, Joke Meheus
ISMB
1994
13 years 9 months ago
Genetic Map Construction with Constraints
Apilot program,CME,is describedfor generatinga physical genetic mapfromhybridization fingerprintingdata. CMEis implementedin the parallel constraint logic programming language Eli...
Dominic A. Clark, Christopher J. Rawlings, Sylvie ...
AAAI
1990
13 years 8 months ago
Negotiation and Conflict Resolution in Non-Cooperative Domains
In previous work [Zlotkin and Rosenschein, 1989a], we have developed a negotiation protocol and offered some negotiation strategies that are in equilibrium. This negotiation proce...
Gilad Zlotkin, Jeffrey S. Rosenschein
DNA
2011
Springer
227views Bioinformatics» more  DNA 2011»
12 years 7 months ago
Cooperative Assembly Systems
Several molecular systems form large-scale objects. One would like to understand their assembly and how this assembly is regulated. As a first step, we investigate the phase trans...
Vincent Danos, Heinz Koeppl, John Wilson-Kanamori