|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6 occurrences of 6 keywords
|
|
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Francesco Belardinelli, Alessio Lomuscio |
First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment.  |
Fundam. Inform.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Belardinelli, Andrew V. Jones, Alessio Lomuscio |
Model Checking Temporal-Epistemic Logic Using Alternating Tree Automata. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi |
A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi |
Verification of Deployed Artifact Systems via Data Abstraction. |
ICSOC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Belardinelli, Alessio Lomuscio |
Interactions between Time and Knowledge in a First-order Logic for Multi-Agent Systems. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Francesco Belardinelli, Alessio Lomuscio |
Quantified epistemic logics for reasoning about knowledge in multi-agent systems. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Belardinelli, Alessio Lomuscio |
First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Belardinelli, Alessio Lomuscio |
A Complete First-Order Logic of Knowledge and Time. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Francesco Belardinelli, Alessio Lomuscio |
A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems. |
CLIMA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Belardinelli, Alessio Lomuscio |
A quantified epistemic logic for reasoning about multiagent systems. |
AAMAS |
2007 |
DBLP DOI BibTeX RDF |
completeness, first-order logic, epistemic logic |
| 1 | Francesco Belardinelli, Peter Jipsen, Hiroakira Ono |
Algebraic Aspects of Cut Elimination. |
Studia Logica |
2004 |
DBLP DOI BibTeX RDF |
Algebraic Gentzen systems, finite model property, residuated lattices, cut elimination, substructural logics |
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")