3323 search results - page 153 / 665 » Computational Semantics with Functional Programming |
195
click to vote
ASP
2005
Springer
15 years 11 months ago
2005
Springer
This paper outlines a novel approach to the computation of answer sets in an evolving and interactive environment. Instead of recomputing the semantics of the entire program, our a...
142
click to vote
ENC
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper describes SKIMA, a mediation system that gives transparent access to heterogeneous and distributed sources considering their semantics and the semantics of application ...
166
click to vote
ENC
2006
IEEE
15 years 10 months ago
2006
IEEE
Dung's argumentation approach is a unifying approach which has played an influential role on argumentation research and Artificial Intelligence (AI). Based on a proper repres...
291
click to vote
Book
"This book describes different type theories (theories of types, polymorphic and monomorphic sets, and subsets) from a computing science perspective. It is intended for resear...
157
click to vote
AMAI
2008
Springer
15 years 6 months ago
2008
Springer
The paper studies the relationship between logic programs with the stable model semantics and difference logic recently considered in the Satisfiability Modulo Theories framework....