4126 search results - page 577 / 826 » Set based logic programming |
122
click to vote
KDD
2003
ACM
16 years 3 months ago
2003
ACM
We describe techniques for combining two types of knowledge systems: expert and machine learning. Both the expert system and the learning system represent information by logical d...
155
click to vote
AIIA
2005
Springer
15 years 5 months ago
2005
Springer
In this paper we are interested in argument based reasoning for access control, for example in the context of agents negotiating access to resources or web services in virtual orga...
174
Voted
KI
2010
Springer
14 years 10 months ago
2010
Springer
We present a framework for incorporating perception-induced beliefs into the knowledge base of a rational agent. Normally, the agent accepts the propositional content of perception...
136
Voted
TCAD
2002
15 years 2 months ago
2002
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuits...
150
click to vote
ACSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
One of the biggest obstacles faced by user command based anomaly detection techniques is the paucity of data. Gathering command data is a slow process often spanning months or yea...