Sciweavers

2920 search results - page 114 / 584
» Finite information logic
Sort
View
78
Voted
SUM
2009
Springer
15 years 5 months ago
Bridging the Gap between Abstract Argumentation Systems and Logic
Leila Amgoud, Philippe Besnard
ECAI
2000
Springer
15 years 5 months ago
Logic Programs with Compiled Preferences
Abstract. We describe an approach for compiling dynamic preferences into logic programs under the answer set semantics. An ordered logic program is an extended logic program in whi...
James P. Delgrande, Torsten Schaub, Hans Tompits
121
Voted
CAI
2006
Springer
15 years 23 days ago
A Logical Framework for Identifying and Explaining Unexpected News
The number of news reports published online is now so great that it is impossible for any person to read all of them. Not all of these reports are equally interesting. Automating ...
Emma Byrne
92
Voted
SP
1998
IEEE
106views Security Privacy» more  SP 1998»
15 years 5 months ago
Understanding Java Stack Inspection
Current implementations of Java make security decisions by searching the runtime call stack. These systems have attractive security properties, but they have been criticized as be...
Dan S. Wallach, Edward W. Felten
103
Voted
AI
2004
Springer
15 years 18 days ago
On the revision of preferences and rational inference processes
Orderings and inference relations can be successfully used to model the behavior of a rational agent. This behavior is indeed represented either by a set of ordered pairs that ref...
Michael Freund