Sciweavers

18209 search results - page 253 / 3642
» Some Remarks on the Paper
Sort
View
ECAI
1998
Springer
15 years 11 months ago
The Complexity of Model Checking for Propositional Default Logics
Abstract. Default logic is one of the most widely used formalisms to formalize commonsense reasoning. In this paper we analyze the complexity of deciding whether a propositional in...
Paolo Liberatore, Marco Schaerf
ECOOPW
1998
Springer
15 years 11 months ago
Roles, Subjects and Aspects: How Do They Relate?
The need for comparison between AOP and related approaches has been retained as a key issue in MLTK97 . We have noticed strong similarities between AOP and some object-oriented ap...
Daniel Bardou
IBERAMIA
1998
Springer
15 years 11 months ago
The "Semantics" of Evolution: Trajectories and Trade-offs in Design Space and Niche Space
This paper 1 attempts to characterise a unifying overview of the practice of software engineers, AI designers, developers of evolutionary forms of computation, designers of adapti...
Aaron Sloman
CSFW
1997
IEEE
15 years 11 months ago
Strategies against Replay Attacks
Abstract— Replay attacks on security protocols have been discussed for quite some time in the literature. However, the efforts to address these attacks have been largely incomple...
Tuomas Aura
OFAI
1997
Springer
114views Robotics» more  OFAI 1997»
15 years 10 months ago
What Sort of Control System Is Able to Have a Personality?
This paper outlines a design-based methodology for the study of mind as a part of thebroaddisciplineofArtificial Intelligence. Withinthat frameworksome architectural requirements...
Aaron Sloman