Sciweavers

205 search results - page 14 / 41
» Higher-Order Coalition Logic
Sort
View
60
Voted
JSYML
2000
45views more  JSYML 2000»
15 years 1 months ago
Topological Completeness for Higher-Order Logic
Steven Awodey, Carsten Butz
68
Voted
DLOG
2009
14 years 11 months ago
On Higher-Order Description Logics
Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo ...
DLOG
2011
14 years 5 months ago
Mapping Data to Higher-Order Description Logic Knowledge Bases
Floriana Di Pinto, Giuseppe De Giacomo, Maurizio L...
89
Voted
IJCAI
2007
15 years 3 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
97
Voted
CADE
2010
Springer
15 years 3 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