Search results for "inference rules"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Kyung-Wook Park, Jin-Woo Jeong, Dong-Ho Lee	OLYBIA: Ontology-Based Automatic Image Annotation System Using Semantic Inference Rules.	DASFAA	2007	DBLP DOI BibTeX RDF	high-level concepts, semantic inference rules, MPEG-7 visual descriptors, ontologies, semantic gap
3	D. Sarkar, S. C. De Sarkar	Some Inference Rules for Integer Arithmetic for Verification of Flowchart Programs on Integers.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	flowchart programs, first-order rules, algebraic expressions, proof construction process, human thought process, user provided axioms, verification, theorem proving, program verification, inference mechanisms, inference rules, theorem prover, integer arithmetic
3	D. Sarkar, S. C. De Sarkar	A Set of Inference Rules for Quantified Formula Handling and Array Handling in Verification of Programs Over Integers.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	quantified formula handling, array handling, undecidability problem, automated verifier, quantified formulas, bound-extension rule, bound-modification, theorem proving, program verification, program verification, first-order logic, inference mechanisms, decidability, inference rules, integer arithmetic
2	Toshikazu Ishida, Kazumasa Honda, Yasuo Kawahara	Armstrong's Inference Rules in Dedekind Categories.	RelMiCS	2009	DBLP DOI BibTeX RDF
2	Kaibo Xu, Junkang Feng, Malcolm Crowe	Defining the notion of 'Information Content' and reasoning about it in a database.	Knowl. Inf. Syst.	2009	DBLP DOI BibTeX RDF	Semantic information theory, Reasoning, Inference rules, Information content, Data semantics
2	Zhenhua Duan, Nan Zhang	A Complete Axiomatization of Propositional Projection Temporal Logic.	TASE	2008	DBLP DOI BibTeX RDF	temporal logic, completeness, projection, inference rules, axiom
2	Fredrik Johansson, Göran Falkman	A Comparison between Two Approaches to Threat Evaluation in an Air Defense Scenario.	MDAI	2008	DBLP DOI BibTeX RDF	fuzzy inference rules, threat assessment, threat evaluation, weapons allocation, fuzzy logic, Bayesian networks
2	Vladimir V. Rybakov	Branching Time Logics BTLU, SN, N-1(Z)a with Operations Until and Since Based on Bundles of Integer Numbers, Logical Consecutions, Deciding Algorithms.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Logical consecutions, Admissible consecutions, Algorithms, Temporal logic, Decidability, Inference rules, Linear temporal logic, Branching time logic
2	Merkourios Margaritopoulos, Isabella Kotini, Athanasios Manitsaris, Ioannis Mavridis	Identifying Inference Rules for Automatic Metadata Generation from Pre-existing Metadata of Related Resources.	MTSR	2007	DBLP DOI BibTeX RDF
2	Vladimir V. Rybakov	Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms.	LFCS	2007	DBLP DOI BibTeX RDF	admissible inference rules, Temporal logic, linear temporal logic, branching time logic
2	Kyung-Wook Park, Dong-Ho Lee	Full-Automatic High-Level Concept Extraction from Images Using Ontologies and Semantic Inference Rules.	ASWC	2006	DBLP DOI BibTeX RDF
2	Yu Sun, Yuefei Sui	Default Description Logics with Reversing Inference Rules.	IEEE ICCI	2006	DBLP DOI BibTeX RDF
2	Vladimir V. Rybakov	Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms.	CSR	2006	DBLP DOI BibTeX RDF	consecutions, admissible rules, algorithms, inference rules, linear temporal logic, logic in computer science, logical consequence
2	Qingjun Yu, Shengli Xie	An image quality assessment method based on fuzzy inference rules.	ICARCV	2004	DBLP DOI BibTeX RDF
2	Zdzislaw Pawlak	Inference Rules and Decision Rules.	ICAISC	2004	DBLP DOI BibTeX RDF
2	Marek Hatala, Leila Kalantari, Ron Wakkary, Kenneth Newby	Ontology and rule based retrieval of sound objects in augmented audio reality system for museum visitors.	SAC	2004	DBLP DOI BibTeX RDF	augmented audio reality, ontologies, user model, inference rules
2	Salvatore Greco, Zdzislaw Pawlak, Roman Slowinski	Generalized Decision Algorithms, Rough Inference Rules, and Flow Graphs.	Rough Sets and Current Trends in Computing	2002	DBLP DOI BibTeX RDF
2	Margaret M. Burnett, Martin Erwig	Visually Customizing Inference Rules About Apples and Oranges.	HCC	2002	DBLP DOI BibTeX RDF
2	Wieslaw Pawlowski	Presenting and Combining Inference Systems: Presentations with Inference Rules.	WADT	2002	DBLP DOI BibTeX RDF
2	Monika P. Hippe	Towards the Classification of Musical Works: A Rough Set Approach.	Rough Sets and Current Trends in Computing	2002	DBLP DOI BibTeX RDF	Attributes of music, rough sets, classify, discretization, attribute reduction, inference rules, decomposition tree
2	Taro Tezuka, Ryong Lee, Yahiko Kambayashi, Hiroki Takakura	Web-Based Inference Rules for Processing Conceptual Geographical Relationships. (PDF / PS)	WISE	2001	DBLP DOI BibTeX RDF	prepositions, GIS, neighborhood, mental map, the Web
2	Dekang Lin, Patrick Pantel	DIRT @SBT@discovery of inference rules from text.	KDD	2001	DBLP DOI BibTeX RDF
2	Marisa A. Sanchez, Juan Carlos Augusto	Testing an Implementation of a Temporal Logic Language.	SCCC	2000	DBLP DOI BibTeX RDF	temporal logic language, language implementation testing, Temporal Prolog, Hilbert model, formal specification, logic programming, temporal logic, temporal logic, PROLOG, program testing, specification-based testing, inference rules, axioms, program errors
2	Sadok Ben Yahia, Ali Jaoua	BRRA: A Based Relevant Rectangles Algorithm for Mining Relationships in Databases.	PAKDD	1999	DBLP DOI BibTeX RDF	Knowledge discovery algorithm, relevant rectangle, inference rules
2	Sandrine Blazy, Philippe Facon	Application of Formal Methods to the Development of a Software Maintenance Tool. (PDF / PS)	ASE	1997	DBLP DOI BibTeX RDF	software maintenance tool, scientific application program understanding, Fortran 90 application programs, interprocedural pointer analysis, global definitions, generic programming environment, variable values, already-analysed procedures, variable scope, removed statements, formal specification, information visualization, formal methods, compilation, software maintenance, partial evaluation, inference rules, graphical interface, alias analysis, optimization technique, set operators, relational operators
2	Jianhua Chen, Sukhamay Kundu	A Sound and Complete Fuzzy Logic System Using Zadeh's Implication Operator.	ISMIS	1996	DBLP DOI BibTeX RDF	resolution method, fuzzy logic, inference rules
2	Thierry Carron, Patrick Lambert	Fuzzy color edge extraction by inference rules quantitative study and evaluation of performances. (PDF / PS)	ICIP	1995	DBLP DOI BibTeX RDF	fuzzy color edge extraction, inference rules quantitative study, hue saturation intensity, HSI space, color edge detection, performances, fuzzy logic, edge detection, inference mechanisms, image colour analysis, synthetic images, noise sensitivity, fuzzy if-then rules, edges localization
2	Isabelle Attali, Denis Caromel, Andrew L. Wendelborn	From a formal dynamic semantics of Sisal to a Sisal environment.	HICSS	1995	DBLP DOI BibTeX RDF	formal dynamic semantics, Sisal environment, Sisal 2.0, structural operational style, Typoi inference rules, Centaur system, generic specification environment, strongly typed language, single assignment language, vector machines, formal specification, parallel programming, software tools, multiprocessors, programming environments, parallel languages, parallel processors, Sisal, Natural Semantics, formal definition, dataflow machines
2	Aviel D. Rubin	Extending NCP for protocols using public keys.	ICCCN	1995	DBLP DOI BibTeX RDF	nonmonotonic cryptographic protocols, asymmetric keys, update function, principals, binding requirements, public key protocol, protocols, certificates, inference rules
2	Michel Wermelinger	Conceptual Graphs and First-Order Logic.	ICCS	1995	DBLP DOI BibTeX RDF	Key phrases logical foundations of Conceptual Structures, logical axioms, higher-order types, meta-level reasoning, operator, inference rules
2	Vladimir V. Rybakov	Modal Logics Preserving Admissible for S4 Inference Rules.	CSL	1994	DBLP DOI BibTeX RDF
2	Véronique Royer, Joachim Quantz	Deriving Inference Rules for Terminological Logics.	JELIA	1992	DBLP DOI BibTeX RDF
2	Peter D. Holmes, Erland Jungert	Symbolic and Geometric Connectivity Graph Methods for Route Planning in Digitized Maps.	IEEE Trans. Pattern Anal. Mach. Intell.	1992	DBLP DOI BibTeX RDF	symbolic connectivity, geometric connectivity graph methods, 2D route planning, heuristic symbolic processing, computational geometry, graph theory, planning (artificial intelligence), search problems, spatial reasoning, spatial reasoning, obstacle avoidance, heuristic programming, inference rules, symbol manipulation, digitized maps, hierarchical data structure, knowledge structure, A* search, route planning
2	David M. Goldschlag	Mechanically Verifying Concurrent Programs with the Boyer-Moore Prover.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	mechanically verifying concurrent programs, Boyer-Moore prover, transition system model, parallel programming, distributed algorithm, concurrency, theorem proving, program verification, safety, encoding, encoding, operational semantics, inference mechanisms, liveness, inference rules, proof system, Unity
2	Jeffrey F. Naughton	Minimizing function-free recursive inference rules.	J. ACM	1989	DBLP DOI BibTeX RDF
2	Chao-Chih Yang, Jennifer Jau-Yin Chen, H. Lewis Chau	Algorithms for Constructing Minimal Deduction Graphs.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	MDG construction algorithms, Hern clauses, minimal deduction graphs, Horn clause logic, DG, Horn formulas, positive literals, rule instances, tree space, logic programming, graphs, expert systems, inference mechanisms, transitivity, backtracking, inference rules, reflexivity, arcs, sink, subtrees, HF
2	Spyros G. Tzafestas, Antoni Ligeza	A framework for knowledge-based control.	Journal of Intelligent and Robotic Systems	1989	DBLP DOI BibTeX RDF	automatic control, control support systems, expert control, reasoning/inference control, Artificial intelligence, expert systems, knowledge engineering, inference rules, knowledge-based control
2	Alessandro Giacalone, Scott A. Smolka	Integrated Environments for Formally Well-Founded Design and Simulation of Concurrent Systems.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	Clara, equational rules, user interfaces, parallel programming, parallel programming, graphical user interface, computer graphics, programming environments, programming environments, specification language, specification languages, operational semantics, programming theory, concurrent systems, inference rules, CCS, interactive simulation, formal techniques, simulation languages, algebraic semantics, concurrent languages
2	John C. Mitchell	Inference Rules for Functional and Inclusion Dependencies.	PODS	1983	DBLP DOI BibTeX RDF
1	Angelo Gilio	Generalizing inference rules in a coherence-based probabilistic default reasoning.	Int. J. Approx. Reasoning	2012	DBLP DOI BibTeX RDF
1	Kwang-Baek Kim, Jin-Whan Kim	Self Health Diagnosis System with Korean Traditional Medicine Using Fuzzy ART and Fuzzy Inference Rules.	ACIIDS	2012	DBLP DOI BibTeX RDF
1	Chu Min Li, Felip Manyà, Jordi Planes	New Inference Rules for Max-SAT	CoRR	2011	DBLP BibTeX RDF
1	Vladimir V. Rybakov	Inference Rules in Multi-agents' Temporal Logics.	T. Computational Collective Intelligence	2011	DBLP DOI BibTeX RDF
1	Peter Chapman, Gem Stapleton, John Howse, Ian Oliver	Deriving sound inference rules for concept diagrams.	VL/HCC	2011	DBLP DOI BibTeX RDF
1		Inductive Inference Rules.	Encyclopedia of Machine Learning	2010	DBLP DOI BibTeX RDF
1	Vladimir V. Rybakov	Interpretation of Chance Discovery in Temporal Logic, Admissible Inference Rules.	KES	2010	DBLP DOI BibTeX RDF
1	Sergey Babenyshev, Vladimir V. Rybakov	Reasoning and Inference Rules in Basic Linear Temporal Logic BLTL\mathcal{BLTL}.	KES	2010	DBLP DOI BibTeX RDF
1	Sergey Babenyshev, Vladimir V. Rybakov	A Framework to Compute Inference Rules Valid in Agents' Temporal Logics.	KES	2010	DBLP DOI BibTeX RDF
1	Yukui Zhang, Shiji Song, Cheng Wu, Kang Li	Identification of Chiller Model in HVAC System Using Fuzzy Inference Rules with Zadeh's Implication Operator.	LSMS/ICSEE	2010	DBLP DOI BibTeX RDF
1	Erika Matsak, Peeter Lorents	Digital solutions for inference rules in decision-supporting systems.	ICDIM	2010	DBLP DOI BibTeX RDF
1	Benny Godlin, Ofer Strichman	Inference Rules for Proving the Equivalence of Recursive Procedures.	Essays in Memory of Amir Pnueli	2010	DBLP DOI BibTeX RDF
1	Xin Gao, Dan A. Ralescu, Yuan Gao	On Liu's Inference Rules for Fuzzy Inference Systems.	IPMU	2010	DBLP DOI BibTeX RDF
1	Wenchao Li, Alessandro Forin, Sanjit A. Seshia	Scalable specification mining for verification and diagnosis.	DAC	2010	DBLP DOI BibTeX RDF	error localization, verification, formal specification, debugging, diagnosis, assertions, post-silicon validation
1	Georgiana Dinu, Rui Wang 0005	Inference Rules and their Application to Recognizing Textual Entailment.	EACL	2009	DBLP BibTeX RDF
1	Mirko Malekovic, Mirko Cubrilo, Kornelije Rabuzin	Logical Consequences in Partial Knowledge Bases.	Towards Intelligent Engineering and Information Technology	2009	DBLP DOI BibTeX RDF	partial knowledge bases, dependencies, completeness, soundness, inference rules, formal systems, logical consequences
1	Mingzhong Wang, Kotagiri Ramamohanarao, Jinjun Chen	Reasoning intra-dependency in commitments for robust scheduling.	AAMAS	2009	DBLP DOI BibTeX RDF	commitment machines, commitment refactoring, scheduling, robustness, agent interaction
1	Rainer Lienhart, Stefan Romberg, Eva Hörster	Multilayer pLSA for multimodal image retrieval.	CIVR	2009	DBLP DOI BibTeX RDF	hierarchical pLSA, multimodal pLSA, probabilistic image models, image retrieval, tags, SIFT, pLSA, image tags
1	Sven Hartmann, Sebastian Link	Expressive, yet tractable XML keys.	EDBT	2009	DBLP DOI BibTeX RDF
1	Dimitrios Skoutas, Dimitris Sacharidis, Alkis Simitsis, Verena Kantere, Timos K. Sellis	Top-k dominant web services under multi-criteria matching.	EDBT	2009	DBLP DOI BibTeX RDF
1	James P. McGlothlin, Latifur R. Khan	RDFKB: efficient support for RDF inference queries and knowledge management.	IDEAS	2009	DBLP DOI BibTeX RDF	information integration and retrieval, logic and databases, ontology, semantic web, data models, resource description framework, knowledge base management systems
1	Amy P. Felty, Alberto Momigliano	Reasoning with hypothetical judgments and open terms in hybrid.	PPDP	2009	DBLP DOI BibTeX RDF	name-binding, induction, logical frameworks, higher-order abstract syntax, interactive theorem proving
1	Kazuhiro Minami, Nikita Borisov, Carl A. Gunter	Safety in discretionary access control for logic-based publish-subscribe systems.	SACMAT	2009	DBLP DOI BibTeX RDF	access control, safety, inference control, publish-subscribe system, logical language
1	Sven Hartmann, Sebastian Link	Efficient reasoning about a robust XML key fragment.	ACM Trans. Database Syst.	2009	DBLP DOI BibTeX RDF	XML key, reachability, axiomatization, implication, XML data
1	Wang Zhenwei, Hui Li	Manufacturing-Oriented Discrete Process Modeling Approach Using the Predicate Logic.	IEEE Trans. Knowl. Data Eng.	2009	DBLP DOI BibTeX RDF
1	Peter Baumgartner, Uwe Waldmann	Superposition and Model Evolution Combined.	CADE	2009	DBLP DOI BibTeX RDF
1	Michel Ludwig, Ullrich Hustadt	Fair Derivations in Monodic Temporal Reasoning.	CADE	2009	DBLP DOI BibTeX RDF
1	Agata Ciabattoni, Lutz Straßburger, Kazushige Terui	Expanding the Realm of Systematic Proof Theory.	CSL	2009	DBLP DOI BibTeX RDF
1	María del Mar Roldán García, José Francisco Aldana Montes	Complete OWL-DL Reasoning Using Relational Databases.	DEXA	2009	DBLP DOI BibTeX RDF
1	Carlos A. Hurtado, Alexandra Poulovassilis, Peter T. Wood	Ranking Approximate Answers to Semantic Web Queries.	ESWC	2009	DBLP DOI BibTeX RDF
1	Xiaowang Zhang, Guohui Xiao, Zuoquan Lin	A Tableau Algorithm for Handling Inconsistency in OWL.	ESWC	2009	DBLP DOI BibTeX RDF
1	Susan McKeever, Juan Ye, Lorcan Coyle, Simon A. Dobson	Using Dempster-Shafer Theory of Evidence for Situation Inference.	EuroSSC	2009	DBLP DOI BibTeX RDF
1	Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale	Reactive Systems, Barbed Semantics, and the Mobile Ambients.	FOSSACS	2009	DBLP DOI BibTeX RDF
1	Guillaume Burel	Automating Theories in Intuitionistic Logic.	FroCos	2009	DBLP DOI BibTeX RDF
1	Ivan Nunes da Silva, Rogério Andrade Flauzino	Efficient Parametric Adjustment of Fuzzy Inference System Using Error Backpropagation Method.	ICANN	2009	DBLP DOI BibTeX RDF	tuning algorithm, error backpropagation, Fuzzy systems
1	Luc De Raedt	The Logic of Learning.	ICFCA	2009	DBLP DOI BibTeX RDF
1	Serge Autexier, Dominik Dietrich	Atomic Metadeduction.	KI	2009	DBLP DOI BibTeX RDF
1	Ping Hou, Marc Denecker	A Deductive System for FO(ID) Based on Least Fixpoint Logic.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Emilia Oikarinen, Matti Järvisalo	Max-ASP: Maximum Satisfiability of Answer Set Programs.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Bhargav S. Gulavani, Supratik Chakraborty, Ganesan Ramalingam, Aditya V. Nori	Bottom-Up Shape Analysis.	SAS	2009	DBLP DOI BibTeX RDF
1	Anas Abou El Kalam, Philippe Balbiani	A Policy Language for Modelling Recommendations.	SEC	2009	DBLP DOI BibTeX RDF
1	Giorgos Flouris, Irini Fundulaki, Panagiotis Pediaditis, Yannis Theoharis, Vassilis Christophides	Coloring RDF Triples to Capture Provenance.	International Semantic Web Conference	2009	DBLP DOI BibTeX RDF
1	Rajeev Goré, Linda Postniece, Alwen Tiu	Taming Displayed Tense Logics Using Nested Sequents with Deep Inference.	TABLEAUX	2009	DBLP DOI BibTeX RDF
1	Renate A. Schmidt, Dmitry Tishkovsky	Automated Synthesis of Tableau Calculi.	TABLEAUX	2009	DBLP DOI BibTeX RDF
1	John Harrison	HOL Light: An Overview.	TPHOLs	2009	DBLP DOI BibTeX RDF
1	Linda Postniece	Deep Inference in Bi-intuitionistic Logic.	WoLLIC	2009	DBLP DOI BibTeX RDF
1	Marius-Calin Silaghi, Makoto Yokoo	ADOPT-ing: unifying asynchronous distributed optimization with asynchronous backtracking.	Autonomous Agents and Multi-Agent Systems	2009	DBLP DOI BibTeX RDF	Distributed CSPs, Semi-cooperative agents, ADOPT, Distributed problem solving, DCOPs
1	Yixin Jing, Dongwon Jeong, Doo-Kwon Baik	SPARQL graph pattern rewriting for OWL-DL inference queries.	Knowl. Inf. Syst.	2009	DBLP DOI BibTeX RDF	Graph pattern, Ontology inference, Semantic web, SPARQL, Query rewriting, OWL-DL
1	Do-Hyeon Kim, Kwang-Baek Kim, Eui-Young Cha	Fuzzy truck control scheme for obstacle avoidance.	Neural Computing and Applications	2009	DBLP DOI BibTeX RDF	Fuzzy truck, Truck backer-upper, Fuzzy control, Obstacle avoidance
1	Hrudaya K. Tripathy, B. K. Tripathy, Pradip K. Das	A Knowledge based Approach Using Fuzzy Inference Rules for Vowel Recognition.	JCIT	2008	DBLP BibTeX RDF
1	Benny Godlin, Ofer Strichman	Inference rules for proving the equivalence of recursive procedures.	Acta Inf.	2008	DBLP DOI BibTeX RDF
1	Ka-Shu Wong	Sound and Complete Inference Rules for SE-Consequence.	J. Artif. Intell. Res. (JAIR)	2008	DBLP DOI BibTeX RDF
1	HongQing Yu, Yi Hong	Graph Transformation for the Semantic Web: Queries and Inference Rules.	ICGT	2008	DBLP DOI BibTeX RDF
1	Sergey Babenyshev, Vladimir V. Rybakov	Logic of Discovery and Knowledge: Decision Algorithm.	KES	2008	DBLP DOI BibTeX RDF	Kripke-Hintikka models, rules in normal reduced form, modal logic, decidability, inference rules, chance discovery
1	Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane	Reachability analysis using multiway decision graphs in the HOL theorem prover.	SAC	2008	DBLP DOI BibTeX RDF	reachability analysis, HOL, multiway decision graphs
1	Kevin A. Huck, Oscar Hernandez, Van Bui, Sunita Chandrasekaran, Barbara M. Chapman, Allen D. Malony, Lois C. McInnes, Boyana Norris	Capturing performance knowledge for automated analysis.	SC	2008	DBLP DOI BibTeX RDF
1	James B. D. Joshi, Elisa Bertino, Arif Ghafoor, Yue Zhang 0002	Formal foundations for hybrid hierarchies in GTRBAC.	ACM Trans. Inf. Syst. Secur.	2008	DBLP DOI BibTeX RDF	Derived relation, Role hierarchy
1	Frank Wolter, Michael Zakharyaschev	Undecidability of the unification and admissibility problems for modal and description logics.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	admissible rule, description logic, decidability, Unification, hybrid logic
1	Shun Shiramatsu, Kazunori Komatani, Kôiti Hasida, Tetsuya Ogata, Hiroshi G. Okuno	A game-theoretic model of referential coherence and its empirical verification using large Japanese and English corpora.	TSLP	2008	DBLP DOI BibTeX RDF	centering theory, corpus statistics, discourse salience, game-theoretic pragmatics, meaning game, perceptual utility, pronominalization, reference probability, referential coherence, game theory, Discourse analysis
1	Wenjie Li, Xiaohuan Zhang, Xiaofei Wei	Semantic Web-Oriented Intelligent Information Retrieval System.	BMEI	2008	DBLP DOI BibTeX RDF	Information Retrieval, Semantic Web, OWL
1	Katsunori Oyama, Hojun Jaygarl, Jinchun Xia, Carl K. Chang, Atsushi Takeuchi, Hiroshi Fujimoto	A Human-Machine Dimensional Inference Ontology that Weaves Human Intentions and Requirements of Context Awareness Systems.	COMPSAC	2008	DBLP DOI BibTeX RDF	Ontology, Context Awareness, Human Intention, BDI Logic