3385 search results - page 29 / 677 » Language, Logic, and the Brain |
193
click to vote
TIME
2003
IEEE
15 years 11 months ago
2003
IEEE
We investigate expressivity and complexity of hybrid logics on linear structures. Hybrid logics are an enrichment of modal logics with certain first-order features which are algo...
350
click to vote
ICLP
2011
Springer
14 years 9 months ago
2011
Springer
This report summarizes a PhD research effort to implement a type of logic programming language called “axiomatic language”. Axiomatic language is intended as a specification...
178
click to vote
ISMVL
1991
IEEE
15 years 9 months ago
1991
IEEE
We suggest a new representation of defeasible entailment and specificity in the framework of default logic. The representation is based on augmenting the underlying classical lan...
155
click to vote
ATAL
2007
Springer
16 years 11 days ago
2007
Springer
We present an axiomatisation for an extension of a temporal epistemic logic with an epistemic “reset” operator defined on the intersection between epistemic and temporal rela...
157
click to vote
LPNMR
1999
Springer
15 years 10 months ago
1999
Springer
Recently there has been increased interest in logic programming-based default reasoning approaches which are not using negation-as-failure in their object language. Instead, defau...