


default search action
Fundamenta Informaticae, Volume 159
Volume 159, Numbers 1-2, 2018
- Marco Maratea, Viviana Mascardi, Davide Ancona, Alberto Pettorossi:

Preface. v-vi
- Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati, Roberto Micalizio:

Commitment-based Agent Interaction in JaCaMo+. 1-33 - Federico Chesani, Marco Gavanelli

, Evelina Lamma, Paola Mello, Marco Montali
:
Evaluating Compliance: From LTL to Abductive Logic Programming. 35-63 - Marco Gavanelli

, Evelina Lamma, Fabrizio Riguzzi
, Elena Bellodi, Riccardo Zese
, Giuseppe Cota
:
Reasoning on Datalog± Ontologies with Abductive Logic Programming. 65-93 - Laura Giordano

, Valentina Gliozzi
, Nicola Olivetti:
Towards a Rational Closure for Expressive Description Logics: the Case of 풮풽풾퓆. 95-122 - Georg Gottlob, Andreas Pieris, Mantas Simkus

:
The Impact of Active Domain Predicates on Guarded Existential Rules. 123-146 - Francesca A. Lisi, Corrado Mencar:

A Granular Computing Method for OWL Ontologies. 147-174 - Vadim Malvone

, Aniello Murano
, Loredana Sorrentino:
Additional Winning Strategies in Reachability Games. 175-195
Volume 159, Number 3, 2018
- Frank S. de Boer, Mario Bravetti, Matias David Lee, Gianluigi Zavattaro:

A Petri Net Based Modeling of Active Objects and Futures. 197-256 - Kenshin Ikegami, Yukio Ohsawa

:
PageRank Topic Model: Estimation of Multinomial Distributions using Network Structure Analysis Methods. 257-277 - Saeed Salehi

:
On Axiomatizability of the Multiplicative Theory of Numbers. 279-296 - Apurba Sarkar

, Arindam Biswas
, Mousumi Dutt, Shouvick Mondal
:
Finding Shortest Triangular Path and its Family inside a Digital Object. 297-325
Volume 159, Number 4, 2018
- Didier Caucal, Teodor Knapik:

Shelah-Stupp's Iteration and Muchnik's Iteration. 327-359 - Bahram Farhadinia, Zeshui Xu

:
Ordered Weighted Hesitant Fuzzy Information Fusion-Based Approach to Multiple Attribute Decision Making with Probabilistic Linguistic Term Sets. 361-383 - Hui Gao, Mao Lu, Guiwu Wei

, Yu Wei:
Some Novel Pythagorean Fuzzy Interaction Aggregation Operators in Multiple Attribute Decision Making. 385-428 - Yu-Ru Syau, En-Bing Lin, Churn-Jung Liau

:
Neighborhood Systems: Rough Set Approximations and Definability. 429-450

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID













