4555 search results - page 12 / 911 » Deductive Algorithmic Knowledge |
122
click to vote
ENTCS
2010
15 years 4 months ago
2010
It is not clear what a system for evidence-based common knowledge should look like if common knowledge is treated as a greatest fixed point. This paper is a preliminary step towar...
128
click to vote
IIE
2008
15 years 4 months ago
2008
Mathematical logic is a discipline used in sciences and humanities with different point of view. Although in tertiary level computer science education it has a solid place, it does...
141
click to vote
ICTAI
1996
IEEE
15 years 8 months ago
1996
IEEE
We describe constraint solving using a rule-based approach. The distinction made between deduction rules and strategies by computational systems allows us to improve our understan...
156
Voted
KRDB
1996
15 years 5 months ago
1996
Metaprogramming adds new expressive power to logic programming which can be advantageous to transfer to the field of deductive databases. We propose metaprogramming as a way to mo...
135
click to vote
ACL
2008
15 years 5 months ago
2008
We define a new formalism, based on Sikkel's parsing schemata for constituency parsers, that can be used to describe, analyze and compare dependency parsing algorithms. This ...