3845 search results - page 241 / 769 » Belief Logic Programming |
206
Voted
IHI
2010
15 years 2 months ago
2010
149
Voted
TOCL
2010
15 years 2 months ago
2010
277
Voted
COMPSAC
2011
IEEE
14 years 7 months ago
2011
IEEE
203
click to vote
LACL
2001
Springer
15 years 12 months ago
2001
Springer
Abstract. In order to analyse the semantics of natural language sentences a translation into a partial type logic using lexical and logical combinators is presented. The sentences ...
228
click to vote
CADE
1992
Springer
15 years 11 months ago
1992
Springer
Abstract. We exhibit a methodology for formulating and verifying metatheorems about deductive systems in the Elf language, an implementation of the LF Logical Framework with an ope...