1486 search results - page 99 / 298 » A Logically Saturated Extension of |
193
click to vote
INFSOF
2002
15 years 5 months ago
2002
We formally verify aspects of the rule-based expert system of IBM's System Automation software for IBM's zSeries mainframes. Starting with a formalization of the expert ...
145
click to vote
ICFP
2003
ACM
16 years 5 months ago
2003
ACM
We report on work in progress regarding a foundation for the notion of meta-variable in logical frameworks and type theories. Our proposal is to treat meta-variables as modal varia...
176
click to vote
LACL
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. The paper proposes a type logical reformulation of Jacobson's ([9]) treatment of anaphoric dependencies in Categorial Grammar. To this end, the associative Lambek Ca...
136
click to vote
AAAI
1998
15 years 7 months ago
1998
We consider computational issues in combining logical knowledge bases represented by their characteristic models; in particular, we study taking their logical intersection. We pre...
161
click to vote
JAIR
2006
15 years 5 months ago
2006
We study properties of programs with monotone and convex constraints. We extend to these formalisms concepts and results from normal logic programming. They include the notions of...