default search action

combined dblp search
author search
venue search
publication search

ask others

Annals of Mathematics and Artificial Intelligence, Volume 71

> Home > Journals > Annals of Mathematics and Artificial Intelligence

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 71, Numbers 1-3, July 2014

Interval Temporal Logics

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/amai/MoszkowskiGL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/MoszkowskiGL14
Ben C. Moszkowski, Dimitar P. Guelev, Martin Leucker:
Guest editors' preface to special issue on interval temporal logics. 1-9
- view
  authority control:
- export record
  dblp key:
  - journals/amai/BresolinMMS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/BresolinMMS14
Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco:
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT. 11-39
- view
  authority control:
- export record
  dblp key:
  - journals/amai/BresolinMGMS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/BresolinMGMS14
Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco:
The dark side of interval temporal logic: marking the undecidability border. 41-83
- view
  authority control:
- export record
  dblp key:
  - journals/amai/CombiS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/CombiS14
Carlo Combi, Pietro Sala:
Interval-based temporal functional dependencies: specification and verification. 85-130
- view
  authority control:
- export record
  dblp key:
  - journals/amai/SchellhornTEPR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/SchellhornTEPR14
Gerhard Schellhorn, Bogdan Tofan, Gidon Ernst, Jörg Pfähler, Wolfgang Reif:
RGITL: A temporal logic framework for compositional reasoning about interleaved programs. 131-174
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Moszkowski14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Moszkowski14
Ben C. Moszkowski:
Compositional reasoning using intervals and time reversal. 175-250
- view
  authority control:
- export record
  dblp key:
  - journals/amai/HansenPB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/HansenPB14
Michael R. Hansen, Anh-Dung Phan, Aske Wiid Brekling:
A practical approach to model checking Duration Calculus using Presburger Arithmetic. 251-278

Volume 71, Number 4, August 2014

Selected papers from the 2012 International Symposium on Artificial Intelligence and Mathematics

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/amai/Sloan14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Sloan14
Robert H. Sloan:
Preface to the special issue. 279-281
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Simon14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Simon14
Hans Ulrich Simon:
PAC-learning in the presence of one-sided classification noise. 283-300
- view
  authority control:
- export record
  dblp key:
  - journals/amai/EirinakisRSW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/EirinakisRSW14
Pavlos Eirinakis, Salvatore Ruggieri, K. Subramani, Piotr Wojciechowski:
On quantified linear implications. 301-325
- view
  authority control:
- export record
  dblp key:
  - journals/amai/BorosG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/BorosG14
Endre Boros, Aritanan Gruber:
Hardness results for approximate pure Horn CNF formulae minimization. 327-363
- view
  authority control:
- export record
  dblp key:
  - journals/amai/MansourS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/MansourS14
Yishay Mansour, Mariano Schain:
Robust domain adaptation. 365-380

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.