2920 search results - page 445 / 584 » Finite information logic |
178
click to vote
ESOP
2009
Springer
15 years 10 months ago
2009
Springer
This paper studies inductive definitions involving binders, in which aliasing between free and bound names is permitted. Such aliasing occurs in informal specifications of operatio...
175
click to vote
ACMICEC
2006
ACM
2006
ACM
A semantic-based fully visual application for matchmaking and query refinement in B2C e-marketplaces
15 years 10 months ago
This paper presents a visual application in the framework of semantic-enabled e-marketplaces aimed at fully exploiting semantics of supply/demand descriptions in B2C and C2C e-mar...
191
click to vote
CSFW
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper describes how symbolic techniques (in particular, OBDD's) may be used to to implement an algorithm for model checking specifications in the logic of knowledge for ...
141
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
A model is defined that predicts an agent's ascriptions of causality (and related notions of facilitation and justification) between two events in a chain, based on background...
183
click to vote
ERCIMDL
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The availability of the logical structure of documents in contentoriented XML retrieval can be beneficial for users of XML retrieval systems. However, research into struc...