Sciweavers

205 search results - page 14 / 41
» Higher-Order Coalition Logic
Sort
View
JSYML
2000
45views more  JSYML 2000»
13 years 9 months ago
Topological Completeness for Higher-Order Logic
Steven Awodey, Carsten Butz
DLOG
2009
13 years 7 months ago
On Higher-Order Description Logics
Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo ...
DLOG
2011
13 years 1 months ago
Mapping Data to Higher-Order Description Logic Knowledge Bases
Floriana Di Pinto, Giuseppe De Giacomo, Maurizio L...
IJCAI
2007
13 years 11 months ago
Coalitions in Action Logic
If modal logics for coalitions need to be applied, one must know how to translate coalition power into agents’ actions. To these days, the connection between coalition power and...
Stefano Borgo
CADE
2010
Springer
13 years 11 months ago
Monotonicity Inference for Higher-Order Formulas
Abstract. Formulas are often monotonic in the sense that if the formula is satisfiable for given domains of discourse, it is also satisfiable for all larger domains. Monotonicity i...
Jasmin Christian Blanchette, Alexander Krauss