Sciweavers

2303 search results - page 28 / 461
» On the logic of argumentation theory
Sort
View
DSOM
2006
Springer
15 years 5 months ago
Using Argumentation Logic for Firewall Policy Specification and Analysis
Firewalls are important perimeter security mechanisms that imple-ment an organisation's network security requirements and can be notoriously difficult to configure correctly. ...
Arosha K. Bandara, Antonis C. Kakas, Emil C. Lupu,...
SEMWEB
2009
Springer
15 years 8 months ago
Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring
Abstract. This paper presents a decidable fragment for combining ontologies and rules in order-sorted logic programming. We describe ordersorted logic programming with sort, predic...
Ken Kaneiwa, Philip H. P. Nguyen
ATAL
2004
Springer
15 years 7 months ago
A Logical Model for Commitment and Argument Network for Agent Communication
Jamal Bentahar, Bernard Moulin, John-Jules Ch. Mey...