We gratefully acknowledge support from
the Simons Foundation and member institutions.

Logic in Computer Science

Authors and titles for cs.LO in Apr 2014, skipping first 10

[ total of 98 entries: 1-10 | 11-20 | 21-30 | 31-40 | 41-50 | ... | 91-98 ]
[ showing 10 entries per page: fewer | more | all ]
[11]  arXiv:1404.0837 [pdf, other]
Title: Reasoning about Knowledge and Strategies: Epistemic Strategy Logic
Authors: Francesco Belardinelli (Université d'Evry)
Comments: In Proceedings SR 2014, arXiv:1404.0414
Journal-ref: EPTCS 146, 2014, pp. 27-33
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[12]  arXiv:1404.0838 [pdf, other]
Title: An Epistemic Strategy Logic (Extended Abstract)
Authors: Xiaowei Huang (University of New South Wales, Australia), Ron van der Meyden (University of New South Wales, Australia)
Comments: In Proceedings SR 2014, arXiv:1404.0414
Journal-ref: EPTCS 146, 2014, pp. 35-41
Subjects: Logic in Computer Science (cs.LO)
[13]  arXiv:1404.0840 [pdf, ps, other]
Title: Refining and Delegating Strategic Ability in ATL
Authors: Dimitar P. Guelev (Institute of Mathematics and Informatics, Bulgarian Academy of Sciences)
Comments: In Proceedings SR 2014, arXiv:1404.0414
Journal-ref: EPTCS 146, 2014, pp. 57-63
Subjects: Logic in Computer Science (cs.LO); Computer Science and Game Theory (cs.GT); Multiagent Systems (cs.MA)
[14]  arXiv:1404.0841 [pdf, other]
Title: A Resolution Prover for Coalition Logic
Authors: Cláudia Nalon (Department of Computer Science, University of Brasília, Brazil), Lan Zhang (Information School Capital University of Economics and Business, China), Clare Dixon (Department of Computer Science, University of Liverpool, UK), Ullrich Hustadt (Department of Computer Science, University of Liverpool, UK)
Comments: In Proceedings SR 2014, arXiv:1404.0414
Journal-ref: EPTCS 146, 2014, pp. 65-73
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[15]  arXiv:1404.0843 [pdf, ps, other]
Title: First Cycle Games
Authors: Benjamin Aminof (IST Austria), Sasha Rubin (IST Austria and TU Wien)
Comments: In Proceedings SR 2014, arXiv:1404.0414
Journal-ref: EPTCS 146, 2014, pp. 83-90
Subjects: Logic in Computer Science (cs.LO); Computer Science and Game Theory (cs.GT)
[16]  arXiv:1404.0844 [pdf, ps, other]
Title: Automata Techniques for Epistemic Protocol Synthesis
Comments: In Proceedings SR 2014, arXiv:1404.0414
Journal-ref: EPTCS 146, 2014, pp. 97-103
Subjects: Logic in Computer Science (cs.LO)
[17]  arXiv:1404.0854 [pdf, other]
Title: Enabling Automatic Certification of Online Auctions
Comments: In Proceedings FESCA 2014, arXiv:1404.0436
Journal-ref: EPTCS 147, 2014, pp. 123-132
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[18]  arXiv:1404.0953 [pdf, ps, other]
Title: Implementing Anti-Unification Modulo Equational Theory
Comments: 113 pages; 57 figures
Journal-ref: Technical Report "Arbeitspapiere der GMD",ISSN 0723-0508, Vol.1006, June 1996
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[19]  arXiv:1404.0956 [pdf, ps, other]
Title: Expressiveness via Intensionality and Concurrency
Comments: 18 pages, to appear in ICTAC 2014
Subjects: Logic in Computer Science (cs.LO)
[20]  arXiv:1404.1215 [pdf, ps, other]
Title: Coalgebraic Weak Bisimulation from Recursive Equations over Monads
Comments: final version
Subjects: Logic in Computer Science (cs.LO)
[ total of 98 entries: 1-10 | 11-20 | 21-30 | 31-40 | 41-50 | ... | 91-98 ]
[ showing 10 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, 2301, contact, help  (Access key information)