default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta Informaticae, Volume 161
Volume 161, Numbers 1-2, 2018
- Camillo Fiorentini
, Alberto Momigliano, Alberto Pettorossi:
Preface. v-vii
- Mauro Ferrari, Camillo Fiorentini, Alberto Momigliano:
From Constructivism to Logic Programming: an Homage to Mario Ornaghi. 1-7 - Federico Bergenti, Stefania Monica, Gianfranco Rossi:
Constraint Logic Programming with Polynomial Constraints over Finite Domains. 9-27 - Loris Bozzato:
ASP Based Generation of Information Terms for Constructive ɛℒ. 29-51 - Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini:
Extending Logic Programming with Labelled Variables: Model and Semantics. 53-74 - Federico Chesani, Paola Mello, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Marco Montali, Sergio Tessaris:
Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning. 75-111 - Giorgio Delzanno:
Logic-based Verification of the Distributed Dining Philosophers Protocol. 113-133 - Laura Giordano, Daniele Theseider Dupré:
Defeasible Reasoning in 풮ℛ풪ℰℒ: from Rational Entailment to Rational Closure. 135-161 - Roberto Micalizio, Gian Luca Pozzato:
Revision of Ontologies to Accommodate Exceptions: a Typicality-based Approach. 163-189 - Martin Sticht:
Multi-Agent Dialogues and Dialogue Sequents for Proof Search and Scheduling in Intuitionistic Logic and the Modal Logic S4. 191-218
Volume 161, Number 3, 2018
- Sébastien Canard, Viet Cuong Trinh:
Certificateless Public Key Cryptography in the Standard Model. 219-248 - Zaheer Masood, Khalid Majeed, Raza Samar, Muhammad Asif Zahoor Raja:
Design of Epidemic Computer Virus Model with Effect of Quarantine in the Presence of Immunity. 249-273 - Marcin Michalak, Dominik Slezak:
Boolean Representation for Exact Biclustering. 275-297 - G. S. Smrithy, Alfredo Cuzzocrea, Ramadoss Balakrishnan:
Detecting Insider Malicious Activities in Cloud Collaboration Systems. 299-316
Volume 161, Number 4, 2018
- Wil M. P. van der Aalst, Eike Best, Wojciech Penczek:
Preface. i-ii
- Béatrice Bérard, Stefan Haar, Sylvain Schmitz, Stefan Schwoon:
The Complexity of Diagnosability and Opacity Verification for Petri Nets. 317-349 - Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Peter Fogh, Lasse S. Jensen, Peter Gjøl Jensen, Tobias Skovgaard Jepsen, Isabella Kaufmann, Kim G. Larsen, Søren M. Nielsen, Mads Chr. Olesen, Samuel Pastva, Jirí Srba:
A Distributed Fixed-Point Algorithm for Extended Dependency Graphs. 351-381 - Thomas Hujsa, Raymond R. Devillers:
On Deadlockability, Liveness and Reversibility in Subclasses of Weighted Petri Nets. 383-421 - Karsten Wolf:
Interleaving Based Model Checking of Concurrency and Causality. 423-445
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 2024-11-06 20:19 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:
