default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta 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
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-10 18:35 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:
