Sciweavers

5423 search results - page 747 / 1085
» Denial-of-service in automation systems
Sort
View
AGENTCL
2003
Springer
16 years 2 days ago
The Mechanics of Some Formal Inter-agent Dialogues
This paper studies argumentation-based dialogues between agents. It takes a previously defined system by which agents can trade arguments and examines in detail what locutions are...
Simon Parsons, Peter McBurney, Michael Wooldridge
AMKM
2003
Springer
16 years 2 days ago
Agent-Mediated Knowledge Engineering Collaboration
: Knowledge Management is most necessary and valuable in a collaborative and distributed environment. A problem with commercial knowledge management tools is that they do not unde...
Adam Pease, John Li
ASP
2003
Springer
16 years 2 days ago
Graphs and colorings for answer set programming: Abridged Report
We investigate rule dependency graphs and their colorings for characterizing the computation of answer sets of logic programs. To this end, we develop a series of operational chara...
Kathrin Konczak, Torsten Schaub, Thomas Linke
ECSQARU
2003
Springer
16 years 2 days ago
On the Relation between Reiter's Default Logic and Its (Major)
Abstract. Default logic is one of the best known and most studied of the approaches to nonmonotonic reasoning. Subsequently, several variants of default logic have been proposed to...
James P. Delgrande, Torsten Schaub
172
Voted
WCRE
2002
IEEE
15 years 11 months ago
Relating Expectations to Automatically Recovered Design Patterns
At MITRE we are developing tools to aid analysts in assessing the operational usability and quality of object-oriented code. Our tools statically examine source code, automaticall...
Angel Asencio, Sam Cardman, David Harris, Ellen La...