386 search results - page 28 / 78 » Contextual Inference in Computational Semantics |
VMCAI
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
ENTCS
2007
13 years 8 months ago
2007
Automated deduction methods should be speciļ¬ed not procedurally, but declaratively, as inference systems which are proved correct regardless of implementation details. Then, diļ...
ENC
2005
IEEE
14 years 2 months ago
2005
IEEE
Following the argumentation framework and semantics proposed by Dung, we are interested in the problem of deciding which set of acceptable arguments support the decision making in...
EACL
1989
ACL Anthology
13 years 9 months ago
1989
ACL Anthology
DATR is a declarative language for representing a restricted class of inheritance networks, permitting both multiple and default inheritance. The principal intended area of applic...
PUC
2000
13 years 8 months ago
2000
In this paper the term implicit human computer interaction is defined. It is discussed how the availability of processing power and advanced sensing technology can enable a shift ...