Search Sciweavers | Sciweavers

205 search results - page 1 / 41

» Higher-Order Coalition Logic

click to vote

ECAI
2010
Springer

250views Artificial Intelligence» more ECAI 2010»

Higher-Order Coalition Logic

13 years 4 months ago

Download www.di.unito.it

We introduce and study higher-order coalition logic, a multi modal monadic second-order logic with operators [{x}] expressing that the coalition of all agents satisfying (x) can ac...

Guido Boella, Dov M. Gabbay, Valerio Genovese, Lee...

claim paper

Read More »

click to vote

LICS
2012
IEEE

276views Automated Reasoning» more LICS 2012»

Foundational, Compositional (Co)datatypes for Higher-Order Logic: Category Theory Applied to Theorem Proving

11 years 7 months ago

Download www4.in.tum.de

—Interactive theorem provers based on higher-order logic (HOL) traditionally follow the deﬁnitional approach, reducing high-level speciﬁcations to logical primitives. This al...

Dmitriy Traytel, Andrei Popescu, Jasmin Christian ...

claim paper

Read More »

click to vote

FLOPS
1999
Springer

186views Automated Reasoning» more FLOPS 1999»

Typed Higher-Order Narrowing without Higher-Order Strategies

13 years 8 months ago

Download web.cecs.pdx.edu

We describe a new approach to higher-order narrowing computations in a class of systems suitable for functional logic programming. Our approach is based on a translation of these s...

Sergio Antoy, Andrew P. Tolmach

claim paper

Read More »

click to vote

CADE
1997
Springer

313views Logical Reasoning» more CADE 1997»

Nuprl-Light: An Implementation Framework for Higher-Order Logics

13 years 8 months ago

Download files.metaprl.org

Jason J. Hickey

claim paper

Read More »