4401 search results - page 640 / 881 » Computing with Default Logic |
126
click to vote
IJCAI
2003
15 years 6 months ago
2003
In this paper, we define a simple but scalable framework for peer-to-peer data sharing systems, in which the problem of answering queries over a network of semantically related p...
141
click to vote
WSPI
2004
15 years 6 months ago
2004
Conceptual Modeling is a discipline of great relevance to several areas in Computer Science. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL)...
124
click to vote
SCS
2003
15 years 6 months ago
2003
SIL's (Safety Integrity Levels) are used by IEC 61508:1998 [1] to characterise the required functional safety of computer control systems. For example, SIL 4, the highest rat...
143
Voted
AAAI
1998
15 years 6 months ago
1998
This paper presents two case studies of parallelization of large Natural Language Processing (NLP) applications using a parallel logic programmingsystem (called "ACE")th...
139
click to vote
AAAI
1997
15 years 6 months ago
1997
Markov Decision Processes (MDPs), currently a popular method for modeling and solving decision theoretic planning problems, are limited by the Markovian assumption: rewards and dy...