default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta Informaticae, Volume 149
Volume 149, Numbers 1-2, 2016
- Stefano Bistarelli
, Andrea Formisano, Marco Maratea, Paolo Torroni:
Preface. v-vii
- Mario Alviano:
Evaluating Answer Set Programming with Non-Convex Recursive Aggregates. 1-34 - Roman Barták, Jindrich Vodrázka:
An Experimental Study of Influence of Modeling and Solving Techniques on Performance of a Tabled Logic Programming Planner. 35-60 - Toni Mancini:
Now or Never: Negotiating Efficiently with Unknown or Untrusted Counterparts. 61-100 - Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci:
SyLVaaS: System Level Formal Verification as a Service. 101-132 - Paolo Marin, Massimo Narizzano, Luca Pulina, Armando Tacchella, Enrico Giunchiglia:
Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows. 133-158 - Peter Schüller:
Modeling Variations of First-Order Horn Abduction in Answer Set Programming. 159-207 - Mauro Vallati, Ivan Serina, Alessandro Saetti, Alfonso Emilio Gerevini:
Identifying and Exploiting Features for Effective Plan Retrieval in Case-Based Planning. 209-240
Volume 149, Number 3, 2016
- Mario Abarca, Daniel Rivera:
Graph Theoretical and Algorithmic Characterizations of Positive Definite Symmetric Quasi-Cartan Matrices. 241-261 - Fabio Alessi, Felice Cardone:
Tiered Objects. 263-295 - Jan A. Bergstra, Cornelis A. Middelburg:
Instruction Sequence Size Complexity of Parity. 297-309 - Jean-Marc Champarnaud, Ludovic Mignot, Florent Nicart:
Constrained Expressions and their Derivatives. 311-361
Volume 149, Number 4, 2016
- Ernst-Erich Doberkat:
Bisimulation Cuts For Structuring Markov Transition Systems. 363-383 - Maciej Grzeskowiak:
Pairing-Friendly Primes for Abelian Varieties. 385-400 - Irina B. Virbitskaite, Dmitriy Bushin, Eike Best:
True Concurrent Equivalences in Time Petri Nets. 401-418 - Lukasz Wróbel, Marek Sikora, Marcin Michalak:
Rule Quality Measures Settings in Classification, Regression and Survival Rule Induction - an Empirical Approach. 419-449 - Tingfang Wu, Yanfeng Wang, Suxia Jiang, Xiaolong Shi:
Small Universal Spiking Neural P Systems with Homogenous Neurons and Synapses. 451-470
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.
last updated on 2025-01-23 20:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
