![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Fundamenta Informaticae, Volume 124
Volume 124, Numbers 1-2, 2013
- Zhihua Cui, Sheela Ramanna, James F. Peters, Sankar K. Pal:
Preface. v-viii - Mercedes Hidalgo-Herrero
, Pablo Rabanal
, Ismael Rodríguez
, Fernando Rubio
:
Comparing Problem Solving Strategies for NP-hard Optimization Problems. 1-25 - Gloria Virginia
, Hung Son Nguyen
:
Lexicon-based Document Representation. 27-46 - Estevam R. Hruschka Jr., Maisa C. Duarte, Maria C. Nicoletti:
Coupling as Strategy for Reducing Concept-Drift in Never-ending Learning Environments. 47-61 - Sankar K. Pal, Debarati B. Chakraborty
:
Unsupervised Tracking, Roughness and Quantitative Indices. 63-90 - Ewa Grabska
, Grazyna Slusarczyk, Szymon Gajek:
Knowledge Representation for Human-Computer Interaction in a System Supporting Conceptual Design. 91-110 - José Hiroki Saito, João F. Mari
, Emerson Carlos Pedrino, João-Batista Destro-Filho
, Maria C. Nicoletti:
Simulated Activation Patterns of Biological Neurons Cultured onto a Multi-Electrode Array Based on a Modified Izhikevich's Model. 111-132 - Maria C. Nicoletti, Flávia O. Santos de Sá Lisboa, Estevam R. Hruschka Jr.:
Automatic Learning of Temporal Relations Under the Closed World Assumption. 133-151 - Pradipta Maji
, Sushmita Paul:
Robust Rough-Fuzzy C-Means Algorithm: Design and Applications in Coding and Non-coding RNA Expression Data Clustering. 153-174 - James F. Peters, Doungrat Chitcharoen:
Sufficiently Near Neighbourhoods of Points in Flow Graphs. A Near Set Approach. 175-196 - Sankar K. Pal, Romi Banerjee
, Soumitra Dutta, Samar Sen Sarma:
An Insight Into The Z-number Approach To CWW. 197-229 - Mehmet Ali Öztürk, Ebubekir Inan
:
Soft Nearness Approximation Spaces. 231-250
Volume 124, Number 3, 2013
- Bala Kalyanasundaram, Mahe Velauthapillai:
Learning Behaviors of Functions with Teams. 251-270 - Hui Ma, René Noack, Klaus-Dieter Schewe, Bernhard Thalheim, Qing Wang
:
Complete Conceptual Schema Algebras. 271-295 - Zeynep Nihan Odabas, Aysun Ozan Aytaç:
Residual Closeness in Cycles and Related Networks. 297-307 - Daniel Simson:
A Framework for Coxeter Spectral Analysis of Edge-bipartite Graphs, their Rational Morsifications and Mesh Geometries of Root Orbits. 309-338 - Daniel Simson:
Toroidal Algorithms for Mesh Geometries of Root Orbits of the Dynkin Diagram $\mathbb{D}_4$. 339-364
Volume 124, Number 4, 2013
- Fabio Fioravanti
, Alberto Pettorossi
, Gianfranco Rossi:
Preface. i-ii - Marco Alberti
, Marco Gavanelli
, Evelina Lamma:
The CHR-based Implementation of the SCIFF Abductive System. 365-381 - Stefano Bistarelli
, Francesco Santini
:
Coalitions of Arguments: An Approach with Constraint Programming. 383-401 - Dario Campagna, Andrea Formisano
:
Product and Production Process Modeling and Configuration. 403-425 - Domenico Cantone
, Marianna Nicolosi Asmundo
:
On the Satisfiability Problem for a 4-level Quantified Syllogistic and Some Applications to Modal Logic. 427-448 - Stefania Costantini
, Andrea Formisano
:
Nested Weight Constraints in ASP. 449-464 - Giovanna D'Agostino, Giacomo Lenzi
:
On Modal μ-Calculus in S5 and Applications. 465-482 - Fabio Fioravanti
, Alberto Pettorossi
, Maurizio Proietti
, Valerio Senni
:
Controlling Polyvariance for Specialization-based Verification. 483-502 - Francesca A. Lisi
, Umberto Straccia
:
A Logic-based Computational Method for the Automated Induction of Fuzzy Ontology Axioms. 503-519 - Fabrizio Riguzzi
:
MCINTYRE: A Monte Carlo System for Probabilistic Logic Programming. 521-541 - Dmitry Solomakhin, Enrico Franconi, Alessandro Mosca
:
Logic-based Reasoning Support for SBVR. 543-560 - Neng-Fa Zhou, Agostino Dovier
:
A Tabled Prolog Program for Solving Sokoban. 561-575
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.