Sciweavers

10568 search results - page 315 / 2114
» Computer Intelligence and Formalization
Sort
View
145
Voted
ATAL
2005
Springer
15 years 9 months ago
Modeling exceptions via commitment protocols
This paper develops a model for exceptions and an approach for incorporating them in commitment protocols among autonomous agents. Modeling and handling exceptions is critical for...
Ashok U. Mallya, Munindar P. Singh
109
Voted
IEAAIE
1998
Springer
15 years 8 months ago
Complexity and Cognitive Computing
Abstract. This paper has as main goal to develop a hybrid expert system to minimize some of the complexity problems related to arti cial intelligence eld. For instance, we can ment...
Lourdes Mattos Brasil, Fernando Mendes de Azevedo,...
AIS
2006
Springer
15 years 3 months ago
Computers and knowledge: a dialogical approach
Artificial intelligence researchers interested in knowledge and in designing and implementing digitized artifacts for representing or sharing knowledge play a crucial role in the ...
Christian Brassac
ATAL
2005
Springer
15 years 9 months ago
Service-based computing for agents on disruption and delay prone networks
Joseph Kopena, Gaurav Naik, Maxim Peysakhov, Evan ...
180
Voted
SAS
1992
Springer
171views Formal Methods» more  SAS 1992»
15 years 7 months ago
Static Analysis of CLP Programs over Numeric Domains
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi