Sciweavers

4737 search results - page 231 / 948
» The LOGIC negotiation model
Sort
View
ECAL
2005
Springer
16 years 22 days ago
Ant-Based Computing
We propose a biologically and physically plausible model for ants and pheromones, and show this model to be sufficiently powerful to simulate the computation of arbitrary logic cir...
Loizos Michael
RSCTC
2000
Springer
139views Fuzzy Logic» more  RSCTC 2000»
15 years 10 months ago
Application of Normalized Decision Measures to the New Case Classification
The optimization of rough set based classification models with respect to parameterized balance between a model's complexity and confidence is discussed. For this purpose, the...
Dominik Slezak, Jakub Wroblewski
WSC
1997
15 years 8 months ago
A Message-Based Discrete Event Simulation Architecture
This paper presents a message-based discrete event simulation architecture. It will examine each of the different types of messages used to schedule events, transfer items through...
David Krahl, J. Steven Lamperti
IJIS
2002
79views more  IJIS 2002»
15 years 6 months ago
Formal semantics of meta-level architectures: Dynamic control of reasoning
Meta-level architectures for dynamic control of reasoning processes are quite powerful. In the literature many applications in reasoning systems modelling complex tasks are descri...
Jan Treur
APAL
2007
78views more  APAL 2007»
15 years 7 months ago
Partial Horn logic and cartesian categories
A logic is developed in which function symbols are allowed to represent partial functions. It has the usual rules of logic (in the form of a sequent calculus) except that the subs...
Erik Palmgren, Steven J. Vickers