2303 search results - page 143 / 461 » On the logic of argumentation theory |
170
click to vote
ICML
2009
IEEE
16 years 7 months ago
2009
IEEE
Markov logic networks (MLNs) combine logic and probability by attaching weights to first-order clauses, and viewing these as templates for features of Markov networks. Learning ML...
160
click to vote
COLING
1992
15 years 7 months ago
1992
he more abstract term "relational morphology" in place of tile usual "two-level morphology" in order to emphasize an aspect of Koskenniemi's work which ha...
235
click to vote
AAAI
2011
14 years 6 months ago
2011
Inspired by “GoogleTM Sets” and Bayesian sets, we consider the problem of retrieving complex objects and relations among them, i.e., ground atoms from a logical concept, given...
131
click to vote
LILOG
1989
15 years 10 months ago
1989
We propose a theory for reasoning about actions based on order-sorted predicate logic where one can consider an elaborate taxonomy of objects. We are interested in the projection ...
141
click to vote
LICS
2008
IEEE
16 years 26 days ago
2008
IEEE
The question of whether there is a logic that captures polynomial time is the central open problem in descriptive complexity theory. In my talk, I will review the question and the...