Search results for "reasoner"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Claus Zinn	Supporting Tutorial Feedback to Student Help Requests and Errors in Symbolic Differentiation.	Intelligent Tutoring Systems	2006	DBLP DOI BibTeX RDF
11	Christian Halaschek-Wiener, Bijan Parsia, Evren Sirin	Description Logic Reasoning with Syntactic Updates.	OTM Conferences (1)	2006	DBLP DOI BibTeX RDF
11	Jing Mei, Harold Boley, Jie Li, Virendrakumar C. Bhavsar, Zuoquan Lin	DatalogDL: Datalog Rules Parameterized by Description Logics.	CSWWS	2006	DBLP DOI BibTeX RDF
11	Christopher J. O. Baker, Xiao Su, Greg Butler, Volker Haarslev	Ontoligent Interactive Query Tool.	CSWWS	2006	DBLP DOI BibTeX RDF
11	Günther Specht, Timo Weithöner	Context-Aware Processing of Ontologies in Mobile Environments.	MDM	2006	DBLP DOI BibTeX RDF
11	Uwe Aßmann, Jakob Henriksson, Jan Maluszynski	Combining Safe Rules and Ontologies by Interfacing of Reasoners.	PPSWR	2006	DBLP DOI BibTeX RDF
11	Tianlei Hu, Gang Chen 0001, Yin-Jie Hong, Xiaolong Zhang 0008, Jinxiang Dong	Collaborative Agents Supported Automatic Physical Database Design Based on Description Logics Reasoning.	CSCWD	2006	DBLP DOI BibTeX RDF
11	Minghao Tan, Shujiang Li, Tianyou Chai	Hybrid Intelligent Control Strategy of the Laminar Cooling Process.	ISNN (2)	2006	DBLP DOI BibTeX RDF
11	Shohei Kato, Yoshiki Sugino, Hidenori Itoh	A Bayesian Approach to Emotion Detection in Dialogist's Voice for Human Robot Interaction.	KES (2)	2006	DBLP DOI BibTeX RDF
11	Shaofeng Fan, Naixiao Zhang	Feature Model Based on Description Logics.	KES (2)	2006	DBLP DOI BibTeX RDF
11	Wenfeng Zhao, Jun-Liang Chen	Toward Automatic Discovery and Invocation of Information-Providing Web Services.	ASWC	2006	DBLP DOI BibTeX RDF
11	Nizamuddin Channa, Shanping Li	The Expressive Language ALCNHR+K(D) for Knowledge Reasoning.	KDXD	2006	DBLP DOI BibTeX RDF
11	Hai Wang, Zeng-zhi Li, Lin Fan	An Unabridged Method Concerning Capability Matchmaking of Web Services.	Web Intelligence	2006	DBLP DOI BibTeX RDF
11	Jie Bao 0001, Doina Caragea, Vasant G. Honavar	A Tableau-Based Federated Reasoning Algorithm for Modular Ontologies.	Web Intelligence	2006	DBLP DOI BibTeX RDF
11	Maurice Pagnucco	Knowledge Compilation for Belief Change.	Australian Conference on Artificial Intelligence	2006	DBLP DOI BibTeX RDF	belief revision and update, common-sense reasoning, knowledge representation and reasoning
11	Rebhi Baraka, Wolfgang Schreiner	Semantic Querying of Mathematical Web Service Descriptions.	WS-FM	2006	DBLP DOI BibTeX RDF
11	Murat Osman Ünalir, Tugba Özacar, Övünç Öztürk	Reordering Query and Rule Patterns for Query Answering in a Rete-Based Inference Engine.	WISE Workshops	2005	DBLP DOI BibTeX RDF
11	Ora Lassila, Deepali Khushraj	Contextualizing Applications via Semantic Middleware.	MobiQuitous	2005	DBLP DOI BibTeX RDF
11	Christoph Benzmüller, Helmut Horacek, Ivana Kruijff-Korbayová, Manfred Pinkal, Jörg H. Siekmann, Magdalena Wolska	Natural Language Dialog with a Tutor System for Mathematical Proofs.	Cognitive Systems	2005	DBLP DOI BibTeX RDF
11	Zhisheng Huang, Heiner Stuckenschmidt	Reasoning with Multi-version Ontologies: A Temporal Logic Approach.	ISWC	2005	DBLP DOI BibTeX RDF
11	Jim Davies, Ashok K. Goel 0001, Nancy J. Nersessian	Transfer in Visual Case-Based Problem Solving.	ICCBR	2005	DBLP DOI BibTeX RDF
11	Pete Tinker, Jason Fox, Collin Green, David Rome, Karen Casey, Chris Furmanski	Analogical and Case-Based Reasoning for Predicting Satellite Task Schedulability.	ICCBR	2005	DBLP DOI BibTeX RDF
11	Chen Zhao 0001, NuerMaimaiti Heilili, Shengping Liu, Zuoquan Lin	Representation and Reasoning on RBAC: A Description Logic Approach.	ICTAC	2005	DBLP DOI BibTeX RDF
11	Natasha Alechina, Mark Jago, Brian Logan 0001	Resource-Bounded Belief Revision and Contraction.	DALT	2005	DBLP DOI BibTeX RDF
11	Xin Lin, Shanping Li, Zhaohui Yang, Wei Shi	Application-oriented Context Modeling and Reasoning in Pervasive Computing.	CIT	2005	DBLP DOI BibTeX RDF
11	Richi Nayak	Generating Predicate Rules from Neural Networks.	IDEAL	2005	DBLP DOI BibTeX RDF
11	Donglei Zhang, Cungen Cao 0001, Xi Yong, Haitao Wang 0009, Yu Pan 0004	A Survey of Computational Emotion Research.	IVA	2005	DBLP DOI BibTeX RDF
11	Patryk Burek, Rafal Grabos	Dually Structured Concepts in the Semantic Web: Answer Set Programming Approach.	ESWC	2005	DBLP DOI BibTeX RDF	Reasoning in the Semantic Web, Semantic Web Inference Schemes, Ontology, Knowledge Representation
11	Stefan Schlobach	Debugging and Semantic Clarification by Pinpointing.	ESWC	2005	DBLP DOI BibTeX RDF
11	Sean Bechhofer, Ian Horrocks 0001, Daniele Turi	The OWL Instance Store: System Description.	CADE	2005	DBLP DOI BibTeX RDF
11	Ruiqiang Guo, Jiajin Le, XiaoLing Xia	Capability Matching of Web Services Based on OWL-S.	DEXA Workshops	2005	DBLP DOI BibTeX RDF
11	Jun-feng Song, Weiming Zhang 0003, Weidong Xiao, Guo-Hui Li, Zhen-ning Xu	Ontology-Based Information Retrieval Model for the Semantic Web.	EEE	2005	DBLP DOI BibTeX RDF
11	Peter Z. Yeh, Bruce W. Porter, Ken Barker 0002	Matching utterances to rich knowledge structures to acquire a model of the speaker's goal.	K-CAP	2005	DBLP DOI BibTeX RDF	ontology, knowledge-based systems, natural language understanding, discourse, semantic matching
11	Rocio Guillén, Rachel Usrey	Case Based Reasoning Using Speech Data for Clinical Assessment.	IEA/AIE	2005	DBLP DOI BibTeX RDF	Speech recognition, Decision Support, Case-Base Reasoning
11	Xiangjun Fu, Shanping Li, Nizamuddin Channa	A DL-based Approach for Product Knowledge Reasoning.	PDCAT	2005	DBLP DOI BibTeX RDF
11	Michael Bada, Daniele Turi, Robin McEntire, Robert Stevens 0001	Using Reasoning to Guide Annotation with Gene Ontology Terms in GOAT.	SIGMOD Rec.	2004	DBLP DOI BibTeX RDF
11	Maxim Makatchev, Pamela W. Jordan, Kurt VanLehn	Abductive Theorem Proving for Analyzing Student Explanations to Guide Feedback in Intelligent Tutoring Systems.	J. Autom. Reason.	2004	DBLP DOI BibTeX RDF	intelligent tutoring systems, abductive reasoning, qualitative physics
11	Sebastian Hübner, Rainer Spittel, Ubbo Visser, Thomas J. Vögele	Ontology-Based Search for Interactive Digital Maps.	IEEE Intell. Syst.	2004	DBLP DOI BibTeX RDF	Internet reasoning services, Semantic Web, data and knowledge visualization, intelligent Web Services
11	Thorsten Liebig, Olaf Noppens	OntoTrack: Combining Browsing and Editing with Reasoning and Explaining for OWL Lite Ontologies.	ISWC	2004	DBLP DOI BibTeX RDF
11	Bruce Spencer, Sandy Liu	Inferring Data Transformation Rules to Integrate Semantic Web Services.	ISWC	2004	DBLP DOI BibTeX RDF
11	Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin	Working with Multiple Ontologies on the Semantic Web.	ISWC	2004	DBLP DOI BibTeX RDF
11	Jinghai Rao, Peep Küngas, Mihhail Matskin	Logic-based Web Services Composition: From Service Description to Process Model.	ICWS	2004	DBLP DOI BibTeX RDF
11	Jakob Henriksson, Jan Maluszynski	Static Type-Checking of Datalog with Ontologies.	PPSWR	2004	DBLP DOI BibTeX RDF	ontologies, Semantic Web, logic programs, rules
11	Rob Lemmens, Helbert Arenas	Semantic Matchmaking in Geo Service Chains: Reasoning with a Location Ontology.	DEXA Workshops	2004	DBLP DOI BibTeX RDF
11	Salvatore Gaglio, Luca Gatani, Giuseppe Lo Presti, Giuseppe Lo Re, Alfonso Urso	A Dynamic Reasoning Architecture for Computer Network Management.	ICTAI	2004	DBLP DOI BibTeX RDF
11	Volker Haarslev, Ying Lu 0003, Nematollaah Shiri	ONTOXPL - Intelligent Exploration of OWL Ontologies.	Web Intelligence	2004	DBLP DOI BibTeX RDF
11	Alicia Grech, Julie Main	Case-Base Injection Schemes to Case Adaptation Using Genetic Algorithms.	ECCBR	2004	DBLP DOI BibTeX RDF
11	Jacinto A. Dávila	ACTILOG: An Agent Activation Language.	PADL	2003	DBLP DOI BibTeX RDF
11	Grit Denker, Lalana Kagal, Timothy W. Finin, Massimo Paolucci 0001, Katia P. Sycara	Security for DAML Web Services: Annotation and Matchmaking.	ISWC	2003	DBLP DOI BibTeX RDF
11	Michael Uschold, Peter Clark, Fred Dickey, Casey K. Fung, Sonia Smith, Stephen A. Uczekaj, Michael Wilke, Sean Bechhofer, Ian Horrocks 0001	A Semantic Infosphere.	ISWC	2003	DBLP DOI BibTeX RDF
11	Rosina Weber, Michael Waller, June M. Verner, William M. Evanco	Predicting Software Development Project Outcomes.	ICCBR	2003	DBLP DOI BibTeX RDF
11	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
11	Lei Li, Ian Horrocks 0001	A software framework for matchmaking based on semantic web technology.	WWW	2003	DBLP DOI BibTeX RDF	ontologies, web services, semantic web
11	Manuel Campos, José T. Palma, Roque Marín, B. Llamas, A. González	A Model for Fuzzy Temporal Reasoning on a Database.	CAEPIA	2003	DBLP DOI BibTeX RDF
11	François Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, Stephanie Spranger	On Reasoning on Time and Location on the Web.	PPSWR	2003	DBLP DOI BibTeX RDF
11	Norbert E. Fuchs, Uta Schwertel	Reasoning in Attempto Controlled English.	PPSWR	2003	DBLP DOI BibTeX RDF
11	Mikhail Kazakov, Habib Abdulrab	A Meta-modeling Approach to Ontological Engineering: DL-Workbench Platform.	Metainformatics	2003	DBLP DOI BibTeX RDF
11	Jinghai Rao, Xiaomeng Su	Toward the Composition of Semantic Web Services.	GCC (2)	2003	DBLP DOI BibTeX RDF
11	Thomas Strang, Claudia Linnhoff-Popien, Korbinian Frank	CoOL: A Context Ontology Language to Enable Contextual Interoperability.	DAIS	2003	DBLP DOI BibTeX RDF
11	Luca Console, Paolo Terenziani, Daniele Theseider Dupré	Local Reasoning and Knowledge Compilation for Efficient Temporal Abduction.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	computing explanations, knowledge-based systems, temporal reasoning, efficient algorithms, Abductive reasoning, knowledge compilation
11	B. Chandrasekaran 0001	What Does It Mean for a Computer to Do Diagrammatic Reasoning? A Functional Characterization of Diagrammatic Reasoning and Its Implications.	Diagrams	2002	DBLP DOI BibTeX RDF
11	Mohammed Daoudi, Lahcen Ouarbya, John Howroyd, Sebastian Danicic, Mark Harman, Chris Fox, Martin P. Ward	ConSUS: A Scalable Approach to Conditioned Slicing.	WCRE	2002	DBLP DOI BibTeX RDF
11	Waiyian Chong, Michael O'Donovan-Anderson, Yoshi Okamoto, Donald Perlis	Seven Days in the Life of a Robotic Agent.	WRAC	2002	DBLP DOI BibTeX RDF
11	Silvio Ranise	Combining Generic and Domain Specific Reasoning by Using Contexts.	AISC	2002	DBLP DOI BibTeX RDF
11	Natasha Alechina, Brian Logan 0001	Ascribing beliefs to resource bounded agents.	AAMAS	2002	DBLP DOI BibTeX RDF	formalisms and logics
11	Joseph Andrew Giampapa, Katia P. Sycara	Conversational Case-Based Planning for Agent Team Coordination.	ICCBR	2001	DBLP DOI BibTeX RDF
11	K. Suzanne Barber, Ryan McKay, Matthew T. MacMahon, Cheryl E. Martin, Dung N. Lam, Anuj Goel, David C. Han, Joonee Kim	Sensible agents: an implemented multi-agent system and testbed.	Agents	2001	DBLP DOI BibTeX RDF
11	Volker Haarslev, Ralf Möller 0001	RACER System Description.	IJCAR	2001	DBLP DOI BibTeX RDF
11	Ian Horrocks 0001, Ulrike Sattler, Sergio Tessaris, Stephan Tobies	How to Decide Query Containment Under Constraints Using a Description Logic.	LPAR	2000	DBLP DOI BibTeX RDF
11	Eleanna Kafeza, Kamalakar Karlapalem	Gaining Control over Time in Workflow Management Applications.	DEXA	2000	DBLP DOI BibTeX RDF
11	David McSherry	Intelligent Case-Authoring Support in CaseMaker-2.	EWCBR	2000	DBLP DOI BibTeX RDF
11	Vittorio Brusoni, Luca Console, Paolo Terenziani, Barbara Pernici	Qualitative and Quantitative Temporal Constraints and Relational Databases: Theory, Architecture, and Applications.	IEEE Trans. Knowl. Data Eng.	1999	DBLP DOI BibTeX RDF	temporal relational databases, temporal constraint propagation, qualitative and quantitative temporal constraints, Artificial intelligence, integration, temporal reasoning
11	Yaakov HaCohen-Kerner, Uri J. Schild, John Zeleznikow	Developing computational models of discretion to build legal knowledge based systems.	ICAIL	1999	DBLP DOI BibTeX RDF	classifying discretionary domains, dicretion, learning from cases, evaluation, explanation
11	Jos Lehmann	Towards the Formalization of Legal Causal Reasoning.	DEXA Workshops	1999	DBLP DOI BibTeX RDF	AI&Law, legal knowledge systems, agent causation, formal ontology, causal reasoning
11	Abhaya C. Nayak, Norman Y. Foo	Abduction without Minimality.	Australian Joint Conference on Artificial Intelligence	1999	DBLP DOI BibTeX RDF	belief revision, common-sense reasoning, philosophical foundations
11	Alessandro Micarelli, Filippo Sciarrone, Leonardo Ambrosini, Vincenzo Cirillo	A Case-Based Approach to User Modeling.	EWCBR	1998	DBLP DOI BibTeX RDF
11	Ronald R. Yager, Vladik Kreinovich	Using robust optimization to play against an imperfect opponent.	Soft Comput.	1997	DBLP DOI BibTeX RDF	game theory, aggregation, fuzzy sets, strategy, ordered weighted averaging operator
11	Ilene Burnstein, Katherine Roberson, Floyd Saner, Abdul Mirza, Abdallah Tubaishat	A Role for Chunking and Fuzzy Reasoning in a Program Comprehension and Debugging Tool.	ICTAI	1997	DBLP DOI BibTeX RDF	AI in Software Engineering, Knowledge Based Systems and Cognitive Modeling
11	Li Yang, Mukesh Dalal	Empirical Results on Anytime Propositional Reasoning .	ICTAI	1997	DBLP DOI BibTeX RDF	AI Algorithms, Automated reasoning Anytime Reasoning with Probabilistic Inequalities
11	Dekang Lin	University of Manitoba: description of the PIE system used for MUC-6.	MUC	1995	DBLP DOI BibTeX RDF
11	Xiru Zhang	A Hybrid Algorithm for Determining Protein Structure.	IEEE Expert	1994	DBLP DOI BibTeX RDF
11	Lisa J. Burnell, Scott E. Talbot	Incorporating Probabilistic Reasoning in a Reactive Program Debugging System.	IEEE Expert	1994	DBLP DOI BibTeX RDF
11	Janet L. Kolodner	An introduction to case-based reasoning.	Artif. Intell. Rev.	1992	DBLP DOI BibTeX RDF	experience, problem-solving, Case-based reasoning
11	William F. Punch III	Large Interactions of Compiled and Causal Reasoning in Diagnosis.	IEEE Expert	1992	DBLP DOI BibTeX RDF
11	Hans Rott	Modellings for Belief Change: Base Contraction, Multiple Contraction, and Epistemic Entrenchment.	JELIA	1992	DBLP DOI BibTeX RDF
11	Michael J. Miller, Donald Perlis	Typicality Constants and Range Defaults: Some Pros and Cons of a Cognitive Model of Default Reasoning.	ISMIS	1991	DBLP DOI BibTeX RDF
11	Kienchung Kuo	Dynamic Autoepistemic Logic.	ISMIS	1991	DBLP DOI BibTeX RDF
11	Beatriz López 0001, Enric Plaza	Case-Based Learning of Strategic Knowledge.	EWSL	1991	DBLP DOI BibTeX RDF	Strategy learning, control knowledge, planing, case-based learning
11	Franz Barachini	Match-Time Predictability in Real-Time Production Systems.	Expert Systems in Engineering	1990	DBLP DOI BibTeX RDF
11	R. Sadananda, Nizam Uddin Ahmed	Towards conceptualisation of physical object propositions (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
11	Thomas F. Gordon	Oblog-2: A Hybrid Knowledge Representation System for Defeasible Reasoning.	ICAIL	1987	DBLP DOI BibTeX RDF