2766 search results - page 78 / 554 » Hybridizing a Logical Framework |
KBSE
2006
IEEE
14 years 4 months ago
2006
IEEE
Today, thin client applications often rely on the infrastructure of the WWW to deliver their user interfaces (UIs) to clients. While this approach does not require the deployment ...
DASFAA
2003
IEEE
14 years 3 months ago
2003
IEEE
To integrate many data sources we use a peer mediator framework where views defined in the peers are logically composed in terms of each other. A common approach to execute queri...
ATAL
2008
Springer
14 years 19 hour ago
2008
Springer
One approach to moderating the expected behaviour of agents in open societies is the use of explicit languages for defining norms, conditional commitments and/or social expectation...
CADE
2006
Springer
14 years 10 months ago
2006
Springer
COMMA
2010
13 years 5 months ago
2010
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting arg...