Sciweavers

331 search results - page 14 / 67

» Quantified coalition logic

118

GECCO
2007
Springer

154views Optimization» more GECCO 2007»

Evolutionary algorithms for reasoning in fuzzy description logics with fuzzy quantifiers

16 years 4 days ago

Evolutionary algorithms for reasoning in fuzzy description logics with fuzzy quantifiers

Download www.cs.bham.ac.uk

Mauro Dragoni, Andrea Tettamanzi

claim paper

Read More »

134

CONCUR
2004
Springer

87views Distributed And Parallel Com...» more CONCUR 2004»

Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency

15 years 9 months ago

Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency

Download www.it.uu.se

Luís Caires, Étienne Lozes

claim paper

Read More »

96

JSYML
2002

36views more JSYML 2002»

A Unified Completeness Theorem for Quantified Modal Logics

15 years 5 months ago

A Unified Completeness Theorem for Quantified Modal Logics

Download staff.science.uva.nl

Giovanna Corsi

claim paper

Read More »

140

AI
2010
Springer

157views Artificial Intelligence» more AI 2010»

Learning complex action models with quantifiers and logical implications

15 years 4 months ago

Learning complex action models with quantifiers and logical implications

Download www.zsusoft.com

Hankz Hankui Zhuo, Qiang Yang, Derek Hao Hu, Lei L...

claim paper

Read More »

166

ATAL
2010
Springer

154views Intelligent Agents» more ATAL 2010»

A logic-based representation for coalitional games with externalities

15 years 7 months ago

A logic-based representation for coalitional games with externalities

Download www.csc.liv.ac.uk

We consider the issue of representing coalitional games in multiagent systems that exhibit externalities from coalition formation, i.e., systems in which the gain from forming a c...

Tomasz P. Michalak, Dorota Marciniak, Marcin Szamo...

claim paper

Read More »

« Prev « First page 14 / 67 Last » Next »