3239 search results - page 385 / 648 » A Logical Process Calculus |
157
click to vote
ILP
2004
Springer
16 years 18 days ago
2004
Springer
This paper focuses on inductive learning of recursive logical theories from a set of examples. This is a complex task where the learning of one predicate definition should be inter...
210
click to vote
LPNMR
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. Answer Set Programming is a new paradigm based on logic programming. The main component of answer set programming is a system that finds the answer sets of logic program...
180
click to vote
AIIA
2003
Springer
16 years 14 days ago
2003
Springer
Abstract. Efficiency of the first-order logic proof procedure is a major issue when deduction systems are to be used in real environments, both on their own and as a component of ...
176
click to vote
DAWAK
2003
Springer
16 years 13 days ago
2003
Springer
On-Line Analytical Processing (OLAP) is a trend in database technology, based on the multidimensional view of data. In this paper we introduce the Cube Presentation Model (CPM), a ...
174
click to vote
HICSS
2002
IEEE
16 years 5 days ago
2002
IEEE
Currently a number of these on-line support systems for electronic contracting are under development. In this paper we develop a logical formalism to represent the content of busi...