Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
10 | Richard Banach, Marco Bozzano |
Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems. |
SAFECOMP |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang 0001, Florian Pigorsch, Christoph Scholl 0001, Uwe Waldmann, Boris Wirtz |
Automatic Verification of Hybrid Systems with Large Discrete State Space. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Nwe Ni Tun, Satoshi Tojo |
Identity Conditions for Ontological Analysis. |
KSEM |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Julian Seidenberg, Alan L. Rector |
Representing Transitive Propagation in OWL. |
ER |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Alberto Abelló, Roberto García 0001, Rosa Gil 0001, Marta Oliva, Ferran Perdrix |
Semantic Data Integration in a Newspaper Content Management System. |
OTM Workshops (1) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Jin-Hyuk Hong, Sung-Bae Cho |
Dynamically Subsumed-OVA SVMs for Fingerprint Classification. |
PRICAI |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Fausto Giunchiglia, Maurizio Marchese, Ilya Zaihrayeu |
Encoding Classifications into Lightweight Ontologies. |
ESWC |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Ivette C. Martínez, David Ojeda, Ezequiel A. Zamora |
Ambulance Decision Support Using Evolutionary Reinforcement Learning in Robocup Rescue Simulation League. |
RoboCup |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Keunwoo Lee, Craig Chambers |
Parameterized Modules for Classes and Extensible Functions. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Heeryon Cho, Toru Ishida 0001 |
Designing Metadata with Existing Application Ontologies. |
SAINT |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Changrui Yu, Hongwei Wang 0009, Yan Luo |
Extended Ontology Model and Ontology Checking Based on Description Logics. |
FSKD |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Suk-hyung Hwang, Hong-Gee Kim, Myeng-Ki Kim, Sung-Hee Choi, Hae Sool Yang |
A Data-Driven Approach to Constructing an Ontological Concept Hierarchy Based on the Formal Concept Analysis. |
ICCSA (4) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Alessandro Artale, Christine Parent, Stefano Spaccapietra |
Modeling the Evolution of Objects in Temporal Information Systems. |
FoIKS |
2006 |
DBLP DOI BibTeX RDF |
|
10 | M. Brian Blake, William Kwok-Wai Cheung, Michael C. Jaeger, Andreas Wombacher |
WSC-06: The Web Service Challenge. |
CEC/EEE |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Christophe Roche |
How words map concepts. |
EDOC Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Insu Song, Guido Governatori |
Designing agent chips. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
agent chips, agent architecture, agent programming languages |
10 | John Carroll 0001, Stephan Oepen |
High Efficiency Realization for a Wide-Coverage Unification Grammar. |
IJCNLP |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Oscar Martínez Bonastre, M. J. M. Pina |
Cognitive learning for distance education: a concept maps perspective. |
IEEE ICCI |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Álvaro F. Moreira, Renata Vieira, Rafael H. Bordini, Jomi Fred Hübner |
Agent-Oriented Programming with Underlying Ontological Reasoning. |
DALT |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Franz Baader, Eldar Karabaev, Carsten Lutz, Manfred Theißen |
A New n-Ary Existential Quantifier in Description Logics. |
KI |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Bettina Fazzinga, Sergio Flesca, Andrea Tagarelli |
Learning Robust Web Wrappers. |
DEXA |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Wan Ching Ho, Kerstin Dautenhahn, Chrystopher L. Nehaniv |
Autobiographic agents in dynamic virtual environments - performance comparison for different memory control architectures. |
Congress on Evolutionary Computation |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Luis Alberto Pineda, Iván V. Meza |
A Computational Model of the Spanish Clitic System. |
CICLing |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Sang-Kyun Kim, Taekyung Lee, Kyu-Chul Lee |
Toward Knowledge Preconditions for Composition of SemanticWeb Services. |
DEEC |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Umberto Straccia |
Towards a Fuzzy Description Logic for the Semantic Web (Preliminary Report). |
ESWC |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Francesca A. Lisi |
Principles of Inductive Reasoning on the Semantic Web: A Framework for Learning in AL-Log. |
PPSWR |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Kaustuv Chaudhuri, Frank Pfenning |
A Focusing Inverse Method Theorem Prover for First-Order Linear Logic. |
CADE |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Niklas Eén, Armin Biere |
Effective Preprocessing in SAT Through Variable and Clause Elimination. |
SAT |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Francisco Coelho, Helder Coelho |
Meta-Agency and Individual-Power An Experimental Approach. |
IAT |
2005 |
DBLP DOI BibTeX RDF |
|
10 | David Ian Wyatt, Larry Bull, Ian C. Parmee |
Using XCS to Describe Continuous-Valued Problem Spaces. |
IWLCS |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Sylvain Darras, Gilles Dequen, Laure Devendeville, Bertrand Mazure, Richard Ostrowski, Lakhdar Sais |
Using Boolean Constraint Propagation for Sub-clauses Deduction. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Ian Horrocks 0001 |
OWL: A Description Logic Based Ontology Language. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Jing Mei, Elena Paslaru Bontas, Zuoquan Lin |
OWL2Jess: A Transformational Implementation of the OWL Semantics. |
ISPA Workshops |
2005 |
DBLP DOI BibTeX RDF |
ontologies, Semantic Web, reasoning, rules |
10 | Tsuyoshi Tasaki, Shohei Matsumoto, Hayato Ohba, Mitsuhiko Toda, Kazuhiro Komatani, Tetsuya Ogata, Hiroshi G. Okuno |
Distance-Based Dynamic Interaction of Humanoid Robot with Multiple People. |
IEA/AIE |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello |
A Logic for SVG Documents Query and Retrieval. |
Multim. Tools Appl. |
2004 |
DBLP DOI BibTeX RDF |
knowledge representation, retrieval, Scalable Vector Graphics, spatial similarity |
10 | Francesca A. Lisi, Donato Malerba |
Inducing Multi-Level Association Rules from Multiple Relations. |
Mach. Learn. |
2004 |
DBLP DOI BibTeX RDF |
description logics, inductive logic programming, spatial data mining |
10 | Lounis Adouane, Nadine Le Fort-Piat |
Hybrid Behavioral Control Architecture for the Cooperation of Minimalist Mobile Robots. |
ICRA |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Heiner Stuckenschmidt |
Similarity-Based Query Caching. |
FQAS |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Thorsten Liebig, Olaf Noppens |
OntoTrack: Combining Browsing and Editing with Reasoning and Explaining for OWL Lite Ontologies. |
ISWC |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Nikolaos Athanasis, Vassilis Christophides, Dimitris Kotzinos |
Generating On the Fly Queries for the Semantic Web: The ICS-FORTH Graphical RQL Interface (GRQL). |
ISWC |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Bernhard Möller |
Lazy Kleene Algebra. |
MPC |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello |
A knowledge based system for content-based retrieval of Scalable Vector Graphics documents. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Yue Tang, Jin Song Dong, Jing Sun 0002, Brendan P. Mahony |
Reasoning about Semantic Web in Isabelle/HOL. |
APSEC |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Yan Zhuang, Shu-bo Tang, Lei Liu 0001, Wei Wang 0036 |
Motion control system in a hybrid architecture for middle-size soccer robot. |
ICARCV |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Julien Velcin, Jean-Gabriel Ganascia |
Modeling Default Induction with Conceptual Structures. |
ER |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Chang Xu 0001, Shing-Chi Cheung, Xiangye Xiao |
Semantic Interpretation and Matching of Web Services. |
ER |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Oliver Ray, Krysia Broda, Alessandra Russo |
Generalised Kernel Sets for Inverse Entailment. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Saso Dzeroski, Ljupco Todorovski, Peter Ljubic |
Inductive Databases of Polynomial Equations. |
DaWaK |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Gordon Streeter, Andrew Potter |
KNAML: A Knowledge Representation Language for Distributed Reasoning. |
ICCS |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Dan Corbett |
Interoperability of Ontologies Using Conceptual Graph Theory. |
ICCS |
2004 |
DBLP DOI BibTeX RDF |
knowledge servers, ontology, knowledge representation, automated reasoning |
10 | Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Marina Mongiello, Francesco M. Donini |
Concept abduction and contraction for semantic-based discovery of matches and negotiation spaces in an e-marketplace. |
ICEC |
2004 |
DBLP DOI BibTeX RDF |
concept abduction, concept contraction, negotiable constraints, semantic web, e-commerce, description logics, matchmaking |
10 | Yinglong Ma, Jun Wei 0001 |
A Default Extension to Distributed Description Logics. |
IAT |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Carlo Meghini, Yannis Tzitzikas |
Querying Articulated Sources. |
CoopIS/DOA/ODBASE (2) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Patryk Burek |
Adoption of the Classical Theory of Definition to Ontology Modeling. |
AIMSA |
2004 |
DBLP DOI BibTeX RDF |
Knowledge Representation, Knowledge Modeling, Ontology Engineering |
10 | Naouel Karam, Salima Benbernou, Mohand-Said Hacid, Michel Schneider |
Semantic Matching of Natural Language Web Queries. |
ICWE |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Marta Arias, Roni Khardon |
Bottom-Up ILP Using Large Refinement Steps. |
ILP |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Shawn M. Best, Philip T. Cox |
Programming an Autonomous Robot Controller by Demonstration Using Artificial Neural Networks. |
VL/HCC |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Alessandro Artale |
Reasoning on Temporal Conceptual Schemas with Dynamic Constraints. |
TIME |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Jay Nelson |
Structured programming using processes. |
Erlang Workshop |
2004 |
DBLP DOI BibTeX RDF |
COPL, concurrency oriented programming language, inductive decomposition, erlang |
10 | Debbie Richards 0001 |
Merging individual conceptual models of requirements. |
Requir. Eng. |
2003 |
DBLP DOI BibTeX RDF |
Viewpoint development, Conceptual modeling, Formal concept analysis |
10 | Adnan Darwiche |
A differential approach to inference in Bayesian networks. |
J. ACM |
2003 |
DBLP DOI BibTeX RDF |
compiling probabilistic models, Bayesian networks, Probabilistic reasoning, circuit complexity |
10 | Alexander Borgida, Luciano Serafini |
Distributed Description Logics: Assimilating Information from Peer Sources. |
J. Data Semantics |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Mariano Rincón, Margarita Bachiller, José Mira, Rafael Martínez-Tomás |
Image Understanding Analysis at the Knowledge Level as a Design Task. |
IWANN (1) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Petra Perner |
Incremental Learning of Retrieval Knowledge in a Case-Based Reasoning System. |
ICCBR |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Saso Dzeroski, Ljupco Todorovski, Peter Ljubic |
Using Constraints in Discovering Dynamics. |
Discovery Science |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Jérôme Maloberti, Einoshin Suzuki |
Improving Efficiency of Frequent Query Discovery by Eliminating Non-relevant Candidates. |
Discovery Science |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Franz Baader |
The Instance Problem and the Most Specific Concept in the Description Logic EL w.r.t. Terminological Cycles with Descriptive Semantics. |
KI |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello |
A system for principled matchmaking in an electronic marketplace. |
WWW |
2003 |
DBLP DOI BibTeX RDF |
e-commerce, knowledge representation, description logics, matchmaking |
10 | Piero A. Bonatti, Andrea Tettamanzi |
Some Complexity Results on Fuzzy Description Logics. |
WILF |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Alexandre Riazanov, Andrei Voronkov |
Efficient Instance Retrieval with Standard and Relational Path Indexing. |
CADE |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Nicolas Godzik, Marc Schoenauer, Michèle Sebag |
Evolving Symbolic Controllers. |
EvoWorkshops |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Flaviu Adrian Marginean |
Facts and Fallacies in Using Genetic Algorithms for Learning Clauses in First-Order Logic. |
GECCO |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Reinhold Letz, Gernot Stenz |
Universal Variables in Disconnection Tableaux. |
TABLEAUX |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue |
SOLAR: A Consequence Finding System for Advanced Reasoning. |
TABLEAUX |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Ernesto Compatangelo, Helmut Meisel |
ConcepTool: Intelligent Support to the Management of Domain Knowledge. |
KES |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Guy W. Mineau |
Representing and Enforcing Interaction Protocols in Multi-Agent Systems: an Approach Based on Conceptual Graphs. |
IAT |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Hsin-Hsi Chen, June-Jei Kuo, Tsei-Chun Su |
Clustering and Visualization in a Multi-lingual Multi-document Summarization System. |
ECIR |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Nicola Di Mauro, Teresa Maria Altomare Basile, Stefano Ferilli, Floriana Esposito, Nicola Fanizzi |
An Exhaustive Matching Procedure for the Improvement of Learning Efficiency. |
ILP |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Flaviu Adrian Marginean |
Which First-Order Logic Clauses Can Be Learned Using Genetic Algorithms?. |
ILP |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Kouichi Hirata |
On Condensation of a Clause. |
ILP |
2003 |
DBLP DOI BibTeX RDF |
|
10 | D. Manjula, G. Aghila, T. V. Geetha |
Document Knowledge Representation using Description Logics for Information Extraction and Querying. |
ITCC |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Mário J. Silva, Bruno Martins 0001 |
Web Information Retrieval with Result Set Clustering. |
EPIA |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Stefan Böttcher, Rita Steinmetz |
Testing Containment of XPath Expressions in Order to Reduce the Data Transfer to Mobile Clients. |
ADBIS |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Nicola Guarino, Christopher A. Welty |
Evaluating ontological decisions with OntoClean. |
Commun. ACM |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Yannis Tzitzikas, Nicolas Spyratos, Panos Constantopoulos, Anastasia Analyti |
Extended Faceted Taxonomies for Web Catalogs. |
WISE |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Henrik Bulskov, Rasmus Knappe, Troels Andreasen |
On Measuring Similarity for Conceptual Querying. |
FQAS |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Yannis Tzitzikas, Nicolas Spyratos, Panos Constantopoulos, Anastasia Analyti |
Extended Faceted Ontologies. |
CAiSE |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Akihiro Yamamoto, Bertram Fronhöfer |
A Theory of Hypothesis Finding in Clausal Logic. |
Progress in Discovery Science |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Tim Kovacs |
XCS's Strength-Based Twin: Part II. |
IWLCS |
2002 |
DBLP DOI BibTeX RDF |
|
10 | William N. L. Browne |
Balancing Specificity and Generality in a Panmictic-Based Rule-Discovery Learning Classifier System. |
IWLCS |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Dan Corbett |
Reasoning with Ontologies by Using Knowledge Conjunction in Conceptual Graphs. |
OTM |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Rohana K. Rajapakse, Michael J. Denham |
Concept Based Adaptive IR Model Using FCA-BAM Combination for Concept Representation and Encoding. |
ECIR |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Filip Zelezný, Ashwin Srinivasan 0001, David Page |
Lattice-Search Runtime Distributions May Be Heavy-Tailed. |
ILP |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Bruno Bachimont, Antoine Isaac, Raphaël Troncy |
Semantic Commitment for Designing Ontologies: A Proposal. |
EKAW |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Yannis Tzitzikas, Nicolas Spyratos, Panos Constantopoulos |
Query Translation for Mediators over Ontology-Based Information Sources. |
SETN |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Rainer Osswald |
Assertions, Conditionals, and Defaults. |
WCII |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Andrei Voronkov |
How to optimize proof-search in modal logics: new methods of proving redundancy criteria for sequent calculi. |
ACM Trans. Comput. Log. |
2001 |
DBLP DOI BibTeX RDF |
theorem proving, modal logic, description logics, proof-search, inverse method |
10 | Yannis Tzitzikas, Panos Constantopoulos, Nicolas Spyratos |
Mediators over Ontology-Based Information Sources. |
WISE (1) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Ajay Chander, John C. Mitchell, Drew Dean |
A State-Transition Model of Trust Management and Access Control. |
CSFW |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Stefan Schulz 0001, Udo Hahn |
Parts, Locations, and Holes - Formal Reasoning about Anatomical Structures. |
AIME |
2001 |
DBLP DOI BibTeX RDF |
|