1516 search results - page 105 / 304 » Generalizing Indexical-Functional Reference |
ICALT
2009
IEEE
15 years 4 months ago
2009
IEEE
E-learning 2.0 is a term refers to the second generation of e-learning, which uses the technologies of the Social Web, such as collaborative authoring and social annotation, in or...
ICTAI
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper a new learning scheme for SAT is proposed. The originality of our approach arises from its ability to achieve clause learning even if no conflict occurs. This clear...
103
click to vote
EPIA
2009
Springer
15 years 4 months ago
2009
Springer
Logic Programming Update Languages were proposed as an extension of logic programming that allows modeling the dynamics of knowledge bases where both extensional (facts) and intent...
ISCIS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract—The notion of affordances was proposed by J.J. Gibson, to refer to the action possibilities offered to the organism by its environment. In a previous formalization, affo...
LFCS
2009
Springer
15 years 4 months ago
2009
Springer
We give a sound and complete labeled natural deduction system for an interesting fragment of CTL∗ , namely the until-free version of BCTL∗ . The logic BCTL∗ is obtained by re...