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.