|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 22 publication records. Showing 22 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Emiliano Lorini, Frédéric Moisan |
An Epistemic Logic of Extensive Games.  |
M4M/LAMAS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Franconi, Yazmín Angélica Ibáñez-García, Inanç Seylan |
Query Answering with DBoxes is Hard. |
M4M/LAMAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Kaminski, Gert Smolka |
Clausal Tableaux for Hybrid PDL. |
M4M/LAMAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zuojun Xiong, Jeremy Seligman |
Open and Closed Questions in Decision-making. |
M4M/LAMAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | François Schwarzentruber |
LotrecScheme. |
M4M/LAMAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | James Hales, Tim French 0002, Rowan Davies |
Refinement Quantified Logics of Knowledge. |
M4M/LAMAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | A. V. Sreejith |
Expressive Completeness for LTL With Modulo Counting and Group Quantifiers. |
M4M/LAMAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Valentin Goranko, Guido Sciavicco |
Two-sorted Point-Interval Temporal Logics. |
M4M/LAMAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Félix Bou, Joost J. Joosten |
The Closed Fragment of IL is PSPACE Hard. |
M4M/LAMAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitar P. Guelev, Mads Dam |
An Epistemic Predicate CTL* for Finite Control π-Processes. |
M4M/LAMAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Liang Zhen, Jeremy Seligman |
A Logical Model of the Dynamics of Peer Pressure. |
M4M/LAMAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dario Della Monica, Margherita Napoli, Mimmo Parente |
On a Logic for Coalitional Games with Priced-Resource Agents. |
M4M/LAMAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Umberto Rivieccio |
Paraconsistent Modal Logics. |
M4M/LAMAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmet Kara 0002, Thomas Schwentick |
Expressiveness of Hybrid Temporal Logic on Data Words. |
M4M/LAMAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans van Ditmarsch, David Fernández-Duque, Valentin Goranko, Wojtek Jamroga, Manuel Ojeda-Aciego |
Preface. |
M4M/LAMAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Katarina Britz, Thomas Meyer 0002, Ivan José Varzinczak |
Preferential Reasoning for Modal Logics. |
M4M/LAMAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Areces, Daniel Gorín |
Unsorted Functional Translations. |
M4M/LAMAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Papacchini, Renate A. Schmidt |
A Tableau Calculus for Minimal Modal Model Generation. |
M4M/LAMAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John Christopher McCabe-Dansted |
A Rooted Tableau for BCTL*. |
M4M/LAMAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kohei Kishida |
Neighborhood-Sheaf Semantics for First-Order Modal Logic. |
M4M/LAMAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Aucher, Bastien Maubert, François Schwarzentruber |
Tableau Method and NEXPTIME-Completeness of DEL-Sequents. |
M4M/LAMAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans van Ditmarsch, David Fernández-Duque, Valentin Goranko, Wojciech Jamroga, Manuel Ojeda-Aciego (eds.) |
Proceedings of the 7th Workshop on Methods for Modalities, M4M 2011, and the 4th Workshop on Logical Aspects of Multi-Agent Systems, LAMAS 2011, Osuna, Spain, November 10-12, 2011 |
M4M/LAMAS |
2011 |
DBLP BibTeX RDF |
|
Displaying result #1 - #22 of 22 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license