1097 search results - page 152 / 220 » Revision Programming = Logic Programming Integrity Constra... |
179
click to vote
ICLP
2011
Springer
14 years 6 months ago
2011
Springer
Transaction Logic is an extension of classical logic that gracefully integrates both declarative and procedural knowledge and has proved itself as a powerful formalism for many ad...
116
click to vote
PPDP
2005
Springer
15 years 8 months ago
2005
Springer
Type checking and type inference are fundamentally similar problems. However, the algorithms for performing the two operations, on the same type system, often differ significant...
145
click to vote
JACM
2010
15 years 1 months ago
2010
Description logics (DLs) and rules are formalisms that emphasize different aspects of knowledge representation: whereas DLs are focused on specifying and reasoning about conceptual...
106
click to vote
NGITS
1997
Springer
15 years 7 months ago
1997
Springer
With the proliferation of the World Wide Web, it has become very important to provide advanced tools for maintaining referential integrity of information resources. The growing te...
114
Voted
IJCAI
2007
15 years 4 months ago
2007
Reasoning about the past is of fundamental importance in several applications in computer science and artificial intelligence, including reactive systems and planning. In this pa...