5506 search results - page 304 / 1102 » Minimal Logic Programs |
201
click to vote
POPL
2012
ACM
14 years 8 days ago
2012
ACM
Differential privacy is a notion of confidentiality that protects the privacy of individuals while allowing useful computations on their private data. Deriving differential priva...
112
click to vote
WOA
2003
15 years 6 months ago
2003
— In this paper we discuss how some features of the new logic programming language DALI for agents and multiagent systems are suitable to programming agents equipped with plannin...
163
Voted
JAR
2007
15 years 4 months ago
2007
As applications of description logics proliferate, efficient reasoning with knowledge bases containing many assertions becomes ever more important. For such cases, we developed a n...
117
click to vote
ISMVL
1999
IEEE
15 years 9 months ago
1999
IEEE
In this paper, the theory of information relationships and relationship measures is considered and its application to logic design is discussed. This theory makes operational the ...
164
click to vote
KR
2010
Springer
15 years 8 months ago
2010
Springer
We investigate the computational complexity of axiom pinpointing, which is the task of finding minimal subsets of a Description Logic knowledge base that have a given consequence...