3845 search results - page 94 / 769 » Belief Logic Programming |
129
Voted
TABLEAUX
1997
Springer
15 years 8 months ago
1997
Springer
We present a Prolog program that implements a sound and complete theorem prover for first-order intuitionistic logic. It is based on free-variable semantic tableaux extended by an...
132
click to vote
ECSQARU
2005
Springer
15 years 9 months ago
2005
Springer
Semi-revision is a model of belief change that differs from revision in that a new formula is not always accepted. Later, Fuhrmann defined multiple semi-revision by replacing a n...
131
click to vote
ATAL
2011
Springer
14 years 3 months ago
2011
Springer
In this paper, we merge speech act theory, emotion theory, and logic. We propose a modal logic that integrates the concepts of belief, goal, ideal and responsibility and that allo...
163
Voted
LISP
2008
15 years 3 months ago
2008
Higher-order logic proof systems combine functional programming with logic, providing functional programmers with a comfortable setting for the formalization of programs, specifica...
147
click to vote
ACSC
2006
IEEE
15 years 10 months ago
2006
IEEE
Trust networks consist of transitive trust relationships between people, organisations and software agents connected through a medium for communication and interaction. By formali...