Search results for "subsumption"

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