381 search results - page 48 / 77 » Tableaux for Acceptance Logic |
AINA
2007
IEEE
14 years 22 days ago
2007
IEEE
Pervasive learning promises an exciting learning environment such that users can access content and study them at anytime, anywhere, through any devices. Besides delivering the ri...
SCAI
2001
13 years 10 months ago
2001
Muskens presents in Meaning and Partiality a semantics of possibly contradictory beliefs and other propositional attitudes. We propose a different partial logic based on a few key...
DAC
2005
ACM
14 years 9 months ago
2005
ACM
Previous research has shown both theoretically and practically that simulated annealing can greatly benefit from the incorporation of an adaptive range limiting window to control ...
ICAIL
2009
ACM
14 years 3 months ago
2009
ACM
In this paper coherence-based models are proposed as an alternative to logic-based BDI and argumentation models for the reasoning of normative agents. A model is provided for how t...
CEEMAS
2007
Springer
14 years 2 months ago
2007
Springer
The construction of web applications is a complex task as different kinds of technologies need to be integrated. To ease the task of developing web applications many different we...