Search results for "knowledge representation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	Janice I. Glasgow, Suzanne Fortier, Darrell Conklin	Knowledge representation tools for molecular scene analysis.	HICSS	1995	DBLP DOI BibTeX RDF	knowledge representation tools, molecular scene analysis, hybrid knowledge representation scheme, molecular knowledge base, protein information, knowledge representation, knowledge based systems, spatial reasoning, spatial reasoning, biology computing, proteins, molecular configurations
4	Yousheng Tian, Yingxu Wang, Kai Hu	A Knowledge Representation Tool for Autonomous Machine Learning Based on Concept Algebra.	Transactions on Computational Science	2009	DBLP DOI BibTeX RDF	denotational mathematics, concept algebra, OAR, LRMB, machine learning, visualization, knowledge representation, case studies, intelligent systems, computational intelligence, Cognitive informatics, support tool, cognitive computing
4	Gian Piero Zarri	The "Narrative Knowledge Representation Language", a knowledge-based approach for representing the "meaning" of textual documents. (PDF / PS)	ICDAR	1995	DBLP DOI BibTeX RDF	Narrative Knowledge Representation Language, textual documents, semantic content, narrative documents, NKRL, knowledge representation, natural languages, natural language, document handling, knowledge-based approach
4	William L. Kuechler Jr., Nina Lim, Vijay K. Vaishnavi	A smart object approach to hybrid knowledge representation and reasoning strategies.	HICSS	1995	DBLP DOI BibTeX RDF	smart object approach, reasoning strategies, human reasoning, non-trivial real world problems, multiple reasoning strategies, multiple domain knowledge, smart object paradigm, complex knowledge based systems, multiple inference strategies, engineered artifacts, high level object structure, rule based lower level language, complex knowledge based system, prototype KBS, object-oriented programming, knowledge representation, knowledge based systems, inference mechanisms, hybrid knowledge representation
4	Charles Rich, Yishai A. Feldman	Seven Layers of Knowledge Representation and Reasoning in Support of Software Development.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	Programmer's Apprentice, Cake, truth maintenance, Boolean constraint propagation, Plan Calculus, Requirements Apprentice, Debugging Assistant, software engineering, knowledge representation, knowledge representation, software development, software tools, reasoning, types, inference mechanisms, frames, algebra, equality, software development tools
4	Dorothy E. Setliff, Rob A. Rutenbar	Knowledge Representation and Reasoning in a Software Synthesis Architecture.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	software synthesis architecture, reasoning strategies, automatic program synthesis architecture, ELF, procedure-level decomposition, synthetic router, data structures, knowledge representation, knowledge representation, computer-aided design, inference mechanisms, automatic programming, circuit layout CAD, design space, VLSI circuits, domain-specific knowledge
3	Chun-Jiang Zhao, Hua-Rui Wu	Study on the Agricultural Knowledge Representation Model Based on Fuzzy Production Rules.	ICIC	2009	DBLP DOI BibTeX RDF	Agricultural intelligent system, Agricultural knowledge, Fuzzy production rules, Knowledge representation model
3	Slobodan Ribaric, Nikola Pavesic, Valentina Zadrija	Intersection Search for a Fuzzy Petri Net-Based Knowledge Representation Scheme.	KES	2009	DBLP DOI BibTeX RDF	Inference procedure, Knowledge representation, Fuzzy Petri Net, Intersection search
3	Eleanor Selfridge-Field, Frans Wiering, Geraint A. Wiggins	09051 Abstracts Collection - Knowledge representation for intelligent music processing.	Knowledge Representation for Intelligent Music Processing	2009	DBLP BibTeX RDF
3	Donald Byrd	Studying Music is Difficult and Important: Challenges of Music Knowledge Representation.	Knowledge Representation for Intelligent Music Processing	2009	DBLP BibTeX RDF
3	Hongdi Ke, Dejiang Zhang, Wen You	Mental Imagery Knowledge Representation Mode of Human-Level Intelligence System.	RSKT	2009	DBLP DOI BibTeX RDF	Human-level intelligence, Knowledge representation mode, Mental imagery, Discernible attribute matrix, Concept lattice
3	Ermelinda Oro, Massimo Ruffolo, Domenico Saccà	A Semantic Clinical Knowledge Representation Framework for Effective Health Care Risk Management.	BIS	2009	DBLP DOI BibTeX RDF	Workflow Representation, Health Care Information Systems, Ontology, Logic Programming, Knowledge Representation and Reasoning, Semantic Business Process Management
3	Nicola Guarino	The Ontological Level: Revisiting 30 Years of Knowledge Representation.	Conceptual Modeling: Foundations and Applications	2009	DBLP DOI BibTeX RDF	OntoClean, ontology, knowledge representation, identity, rigidity
3	Huawen Liu, Jigui Sun, Huijie Zhang, Lei Liu	Extended Pawlak's Flow Graphs and Information Theory.	Transactions on Computational Science	2009	DBLP DOI BibTeX RDF	knowledge representation, information theory, decision table, decision analysis, Flow graph
3	Giuseppe Contissa	Rulebase Technology and Legal Knowledge Representation.	Computable Models of the Law, Languages, Dialogues, Games, Ontologies	2008	DBLP DOI BibTeX RDF	ALIS, Knowledge Representation, Rule-based system, copyright law
3	Cen Wang, Zhenghua Pan	Extended Fuzzy Knowledge Representation with Medium.	ICIC	2008	DBLP DOI BibTeX RDF	Fuzzy knowledge representation, Medium Logic, infinite-valued model of MF, truth value
3	Fabrício de Novaes Kucinskis, Maurício Gonçalves Vieira Ferreira	An onboard knowledge representation tool for satellite autonomous applications.	SAC	2008	DBLP DOI BibTeX RDF	artificial intelligence planning and scheduling, knowledge representation, autonomy, satellites
3	Francis Rousseaux, Kevin Lhoste	Towards a Collection-Based Knowledge Representation: Application to Geo-political Risks and Crisis Management.	ICDS	2008	DBLP DOI BibTeX RDF	conflit modelling, machine learning, knowledge representation, serious games, crisis management
3	Behrang Zadjabbari, Pornpit Wongthongtham, Tharam S. Dillon	Towards Ontology as Knowledge Representation for Intellectual Capital Measurement.	IT Revolutions	2008	DBLP DOI BibTeX RDF	Intellectual capital measurement, market capital, ontology knowledge representation, social capital, human capital
3	Minghu Ha, Yan Li, Xiao-Feng Wang	Fuzzy knowledge representation and reasoning using a generalized fuzzy petri net and a similarity measure.	Soft Comput.	2007	DBLP DOI BibTeX RDF	Generalized fuzzy Petri net, Weighted fuzzy production rule, Knowledge representation, Similarity measure, Fuzzy reasoning
3	Diana Grigorova, Nikolay Nikolov	Knowledge representation in systems with natural language interface.	CompSysTech	2007	DBLP DOI BibTeX RDF	conceptual dependency, extended context free grammar, knowledge representation, reasoning, frames, semantic nets, first-order predicate logic
3	Minho Lee, Sang-Woo Ban	Incremental Knowledge Representation Based on Visual Selective Attention.	ICONIP	2007	DBLP DOI BibTeX RDF	Incremental Knowledge Representation, Visual Selective Attention, Stereo Saliency Map, Incremental Object Perception
3	Mladen Stanojevic, Sanja Vranes	Applying Neural Networks to Knowledge Representation and Determination of Its Meaning.	BVAI	2007	DBLP DOI BibTeX RDF	Localist Approach, Neural Networks, Knowledge Representation, Natural Language
3	Rolf Grütter, Bettina Bauer-Messmer	Towards Spatial Reasoning in the Semantic Web: A Hybrid Knowledge Representation System Architecture.	AGILE Conf.	2007	DBLP DOI BibTeX RDF	Region Connection Calculus (RCC), Knowledge Representation System, Environmental Database, Semantic Web, Web Ontology Language (OWL), Spatial Reasoning
3	Hong-Sen Yan	A New Complicated-Knowledge Representation Approach Based on Knowledge Meshes.	IEEE Trans. Knowl. Data Eng.	2006	DBLP DOI BibTeX RDF	Knowledge and data engineering tools and techniques, complicated knowledge representation, knowledge mesh, agent mesh, formal representation of software systems
3	Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello	The DLV system for knowledge representation and reasoning.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	computational complexity, knowledge representation, implementation, nonmonotonic reasoning, stable models, Answer sets
3	Reena T. N. Shetty, Pierre-Michel Riccio, Joël Quinqueton	Extended Semantic Network for Knowledge Representation.	Intelligent Information Processing	2006	DBLP DOI BibTeX RDF	Extended Semantic Network, Proximal Network, Knowledge Representation & Management, Information Retrieval, Artificial Intelligence, User Modeling, Knowledge, Semantic Network, Collective Intelligence
3	Slobodan Ribaric, Nikola Pavesic	A Recognition-Inference Procedure for a Knowledge Representation Scheme Based on Fuzzy Petri Nets.	MICAI	2006	DBLP DOI BibTeX RDF	inference procedure, knowledge representation, recognition, Fuzzy Petri Net
3	Youssouf Saidali, Sébastien Adam, Jean-Marc Ogier, Éric Trupin, Jacques Labiche	Knowledge Representation and Acquisition for Engineering Document Analysis.	GREC	2003	DBLP DOI BibTeX RDF	Technical document interpretation, knowledge representation and acquisition, XML, man-machine interaction
3	Janis Cirulis	Are There Essentially Incomplete Knowledge Representation Systems?	FCT	2001	DBLP DOI BibTeX RDF	complete information, fuzzification, knowledge representation system, simulation, uncertainty
3	Olivier Dameron, Bernard Gibaud, Xavier Morandi	Numeric and Symbolic Knowledge Representation of Cortex Anatomy Using Web Technologies.	AIME	2001	DBLP DOI BibTeX RDF	ontology, XML, knowledge representation, Brain atlas
3	Thomas Luckeneder, Knud Steiner, Wolfram Wöß	Integration of Topic Maps and Databases: Towards Efficient Knowledge Representation and Directory Services.	DEXA	2001	DBLP DOI BibTeX RDF	knowledge representation, relational databases, topic maps, directory services
3	José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski, Paulo Quaresma	Dynamic Knowledge Representation and Its Applications.	AIMSA	2000	DBLP DOI BibTeX RDF	Updates of Knowledge Bases, Dynamic Knowledge Representation, Generalized Logic Programs, Theory of Actions
3	Pascal Nicolas, Frédéric Saubion, Igor Stéphan	Combining heuristics for default logic reasoning systems.	ICTAI	2000	DBLP DOI BibTeX RDF	default logic reasoning systems, theoretical complexity, local search techniques, automated default reasoning system, genetic algorithms, genetic algorithms, computational complexity, artificial intelligence, knowledge representation, knowledge representation, heuristics, nonmonotonic reasoning, nonmonotonic reasoning, expressive power
3	Hans-Hellmut Nagel	Natural Language Description of Image Sequences as a Form of Knowledge Representation.	KI	1999	DBLP DOI BibTeX RDF	Image Sequence Evaluation, Fuzzy Metric-Temporal Logic, Natural Language Text Understanding, Road Traffic, Vehicle Behavior, Knowledge Representation, Machine Vision, Situation
3	Edward Lank, Dorothea Blostein	N-grams: a well-structured knowledge representation for recognition of graphical documents.	ICDAR	1997	DBLP DOI BibTeX RDF	graphical document recognition, local constraints, symbol-interaction knowledge, directional considerations, image primitives, multiple neighbours, sketch map recognition, knowledge representation, document image processing, n-grams, prototype system, spatial constraints
3	Robert L. Kelsey, Roger T. Hartley, Robert B. Webster	An Object-Based Methodology for Knowledge Representation in SGML. (PDF / PS)	ICTAI	1997	DBLP DOI BibTeX RDF	knowledge representation SGML multiple perspectives
3	Gerhard Brewka, Jürgen Dix	Knowledge Representation with Logic Programs.	LPKR	1997	DBLP DOI BibTeX RDF
3	Michael J. Barnes	Process centered displays and cognitive models for command applications.	ECBS	1997	DBLP DOI BibTeX RDF	process centered displays, command applications, command and control environment, Army maneuver brigade, human knowledge, scientific validity, knowledge representation, knowledge representation, cognitive models, military applications
3	Hon Wai Chun, Edmund Ming-Kit Lai	Intelligent Critic System for Architectural Design.	IEEE Trans. Knowl. Data Eng.	1997	DBLP DOI BibTeX RDF	Computer-aided architectural design, design knowledge representation, spatial knowledge representation, representation of government regulations, interior design principles, decision support systems, expert systems, diagrammatic reasoning, hybrid knowledge representation
3	T. Kessel, Michael Schlick, O. Stern	Modeling for Configuration Employing Hybrid Knowledge Representation.	ECBS	1996	DBLP DOI BibTeX RDF	configuration of vehicle bus systems, procedural versus declarative knowledge, knowledge representation, domain modeling
3	Christos H. Papadimitriou	The Complexity of Knowledge Representation. (PDF / PS)	IEEE Conference on Computational Complexity	1996	DBLP DOI BibTeX RDF	computational complexity, complexity, artificial intelligence, artificial intelligence, knowledge representation, knowledge representation, complexity theory, common-sense reasoning, common-sense reasoning
3	Stefano Rovetta, Rodolfo Zunino, Laura Buffrini, Guido Rovetta	Prototyping Neural Networks Learn Lyme Borreliosis.	CBMS	1995	DBLP DOI BibTeX RDF	Lyme borreliosis, neural gas networks, circular backpropagation, feedforward neural models, neural networks, knowledge representation, knowledge representation, self organizing maps, backpropagation, medical application, medical computing, self-organising feature maps, analysis tools
3	Gregoris Mentzas, I. Linardopoulos, V. Assimakopoulos	An architechture for intelligent assistance in the forecasting process.	HICSS	1995	DBLP DOI BibTeX RDF	forecasting theory, forecasting process, decision-making tasks, inference procedures, knowledge-based techniques, statistical forecasting, generic forecasting process, Intelligent Forecasting Information System, IFIS, process expert, learning expert, data expert, model expert, knowledge representation, knowledge representation, decision support systems, decision support systems, expert systems, inference mechanisms, intelligent assistance, expertise modelling
3	William H. Money, John R. Harrald	The application of group support systems to knowledge acquisition for disaster response planning.	HICSS	1995	DBLP DOI BibTeX RDF	disaster response planning, hindcasting, knowledge engineering process, rational causal explanation, disaster preparedness planning process, knowledge representation, knowledge representation, decision support systems, knowledge acquisition, knowledge acquisition, knowledge base, explanation, group support systems, group decision support systems, strategic planning, knowledge mapping
3	Boris Pasternak	The role of taxonomy in drawing interpretation. (PDF / PS)	ICDAR	1995	DBLP DOI BibTeX RDF	drawing interpretation, taxonomic structures, object taxonomy, object partonomy, part-of relations, knowledge readability, knowledge maintainability, declarative approach, dual taxonomies, scanned drawings, knowledge representation, knowledge representation, image recognition, image recognition, taxonomy, reasoning, document image processing, spatial reasoning
3	Jacques Calmet, Indra A. Tjandra	Building Bridges Between Knowledge Representation and Algebraic Specification.	ISMIS	1994	DBLP DOI BibTeX RDF	modeling mathematical domains of computation, knowledge representation, program transformation, Methodology, algebraic specification
3	Petra Drescher, Martin Holena, Rainer Kruschinski, Gernod Laufkötter	Integrating Frames, Rules and Uncertainty in a Database-Coupled Knowledge-Representation System.	DEXA	1994	DBLP DOI BibTeX RDF	uncertain knowledge, uncertainty processing, DB coupling, knowledge representation, rules, frames, object-oriented paradigm, KBS
3	John Canning	A Minimum Description Length Model for Recognizing Objects with Variable Appearances (The VAPOR model).	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	minimum description length model, VAPOR model, knowledge representation method, variable appearance object representation model, ideal appearance, shortest length model, cloverleaf interchanges, knowledge representation, image recognition, aerial images, roads, object recognition systems
3	Walling R. Cyre	Conceptual Representation of Waveforms for Temporal Reasoning.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	waveforms, common knowledge representation, multiview integration, computational complexity, formal specification, knowledge representation, knowledge representation, specifications, specification, natural languages, natural language, temporal reasoning, temporal reasoning, semantic networks, conceptual graphs, consistency checking, digital systems, timing diagrams, natural language analysis, temporal interval logic, polynomial complexity
3	Shinichi Honiden, Kazuhiko Nishimura, Naoshi Uchihira, Kiyoshi Itoh	An Application of Artificial Intelligence to Object-Oriented Performance Design for Real-Time Systems.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	object-oriented performance design, rapid prototyping method, OOPD, prototyping phases, prototype construction, prototype execution, artificial intelligence based methods, rapid construction mechanism, hybrid inference mechanism, declarative knowledge representation, MENDEL, Prolog based concurrent object-oriented language, prototype construction tool, real-time systems, real-time systems, artificial intelligence, object-oriented programming, knowledge representation, expert systems, expert system, software reusability, inference mechanisms, object-oriented languages, parallel languages, software prototyping, qualitative reasoning, reusable software components, prototype evaluation
3	Amit Basu	A Knowledge Representation Model for Multiuser Knowledge-Based Systems.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	knowledge representation model, multiuser knowledge-based system, MKBS, largely autonomous user knowledge bases, multipole heterogeneous users, UKBs, rule translation, knowledge representation, knowledge based systems, problem solving, explanation, consistency maintenance, multi-access systems
3	Albert Croker, Vasant Dhar	A Knowledge Representation for Constraint Satisfaction Problems.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	constraint-driven reasoner, control information, preference orderings, knowledge representation, knowledge representation, inference mechanisms, constraint satisfaction problems, constraint handling, Boolean expressions, dependency network
3	Christoph Beierle, Udo Pletat, Rudi Studer	Knowledge Representation for Natural Language Understanding: The LLILOG Approach.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	L/sub LILOG/ approach, logic-based knowledge representation language, semantic background knowledge, frame-like features-value descriptions, order-sorted predicated logic framework, knowledge representation, natural languages, formal semantics, computational linguistics, natural language understanding
3	Jeffrey J. P. Tsai, Thomas J. Weigert, Hung-Chin Jang	A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	nonmonotonic Horn clause logic, formal requirement specification language, frame-and-rule oriented requirement specification language, FRORL, surface syntax, hierarchical relationships, formal specification, object oriented, knowledge representation, prototyping, specification languages, inheritance, reusability, frames, software development environment, C language, production rules, multiple inheritance, Horn clauses, logic programming languages, executability, hybrid knowledge representation
3	Wonhee Sull, Rangasami L. Kashyap	A Self-Organizing Knowledge Representation Scheme for Extensible Heterogenous Information Environment.	IEEE Trans. Knowl. Data Eng.	1992	DBLP DOI BibTeX RDF	self-organizing knowledge representation scheme, extensible heterogeneous information environment, rulebases, common data model, integrated schemata, knowledge representation, relational databases, relational databases, object-oriented databases, object-oriented databases, deductive databases, semantic integrity, schema integration, object-oriented data model, schema translation
3	Gerhard Lakemeyer, Bernhard Nebel	Foundations of Knowledge Representation and Reasoning.	ECAI Workshop on Knowledge Representation and Reasoning	1992	DBLP DOI BibTeX RDF
3	Wu Wang, S. Sitharama Iyengar	Efficient Data Structures for Model-Based 3-D Object Recognition and Localization from Range Images.	IEEE Trans. Pattern Anal. Mach. Intell.	1992	DBLP DOI BibTeX RDF	surface characterization, computer vision, data structures, data structures, knowledge representation, knowledge representation, knowledge based systems, knowledge based systems, knowledge acquisition, image recognition, image recognition, vision, range images, 3D object recognition, CAD models, free-form surfaces
3	Markku Oivo, Victor R. Basili	Representing Software Engineering Models: The TAME Goal Oriented Approach.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	software engineering models representation, TAME goal oriented approach, reasoning framework, top-down goal-oriented characterization, ES-TAME, object-oriented metamodel concept, reusable software engineering models, dynamic viewpoints, selective inheritance, goal-question-metric paradigm, modeling, software engineering, artificial intelligence, object-oriented programming, knowledge representation, knowledge representation, software reusability, prototype system
3	Edoardo Ardizzone, Salvatore Gaglio, Filippo Sorbello	Geometric and conceptual knowledge representation within a generative model of visual perception.	Journal of Intelligent and Robotic Systems	1989	DBLP DOI BibTeX RDF	Geometric and conceptual knowledge representation, visual perception, generative model
3	Lotfi A. Zadeh	Knowledge Representation in Fuzzy Logic.	IEEE Trans. Knowl. Data Eng.	1989	DBLP DOI BibTeX RDF	fuzzy logic, fuzzy logic, knowledge representation, knowledge representation, knowledge-based systems, uncertainty, control, decision-making, inference, real-world applications, computational system, meaning, imprecision
3	Dimiter Vakarelov	Modal Logics for Knowledge Representation Systems.	Logic at Botik	1989	DBLP DOI BibTeX RDF	knowledge representation systems, logics for knowledge representation, completeness theorems, filtration theorems, modal logics
3	Lil Mohan, Rangasami L. Kashyap	An Object-Oriented Knowledge Representation for Spatial Information.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	object-oriented knowledge representation, abstract formalism, pictorial information, conceptual abstractions, data structures, knowledge engineering, object-oriented method, knowledge model, spatial information
3	Roderic A. Girle, Michael A. McRobbie	Exploring the Epistemic Labyrinth: New Directions in the Formal Theory of Knowledge Representation.	Australian Joint Conference on Artificial Intelligence	1988	DBLP DOI BibTeX RDF	knowledge representation, modal logics, automated theorem proving, multi-valued logics
3	William R. Swartout, Stephen W. Smoliar	Explanation: A Source of Guidance for Knowledge Representation.	Knowledge Representation and Organization in Machine Learning	1987	DBLP DOI BibTeX RDF
2	Emil Vassev, Mike Hinchey	Knowledge Representation and Reasoning for Intelligent Software Systems.	IEEE Computer	2011	DBLP DOI BibTeX RDF	Knowledge representation, Intelligent systems, Software technologies
2	Grzegorz Borowik, Tadeusz Luba, Dawid Zydek	Reduction of Knowledge Representation Using Logic Minimization Techniques.	ICSEng	2011	DBLP DOI BibTeX RDF	machine learning, knowledge representation, attribute reduction, logic minimization, complement, discernibility function
2	Marcello Balduccini, Tran Cao Son (eds.)	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
2	Paul Taylor, Igor Toujilov	Mammographic Knowledge Representation in Description Logic.	KR4HC	2011	DBLP DOI BibTeX RDF
2	Vladik Kreinovich	Cantor's Paradise Regained: Constructive Mathematics from Brouwer to Kolmogorov to Gelfond.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
2	Phan Minh Dung, Phan Minh Thang	Closure and Consistency Rationalities in Logic-Based Argumentation.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
2	Marc Denecker, Joost Vennekens, Hanne Vlaeminck, Johan Wittocx, Maurice Bruynooghe	Answer Set Programming's Contributions to Classical Logic - An Analysis of ASP Methodology.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
2	Jorge Lobo, Jiefei Ma, Alessandra Russo, Emil Lupu, Seraphin B. Calo, Morris Sloman	Refinement of History-Based Policies.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
2	Gerhard Brewka, Thomas Eiter, Michael Fink	Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
2	Tommi Syrjänen	On the Practical Side of Answer Set Programming.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
2	Victor W. Marek, Jeffrey B. Remmel	Effectively Reasoning about Infinite Sets in Answer Set Programming.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
2	Tomi Janhunen, Ilkka Niemelä	Compact Translations of Non-disjunctive Answer Set Programs to Propositional Clauses.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
2	Alessandro Provetti	Recollections on Michael Gelfond's 65th Birthday.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
2	Marcello Balduccini, Sara Girotto	ASP as a Cognitive Modeling Tool: Short-Term Memory and Long-Term Memory.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
2	Veena S. Mellarkod	Tea Times with Gelfond.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
2	Michael Thielscher	Translating General Game Descriptions into an Action Language.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
2	Stefania Costantini	Michael Gelfond: Essay in Honour of His 65th Birthday.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
2	Jack Minker	Opening: Homage to Michael Gelfond on His 65th Birthday.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
2	Miroslaw Truszczynski	Revisiting Epistemic Specifications.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
2	Agostino Dovier, Andrea Formisano, Enrico Pontelli	Perspectives on Logic-Based Approaches for Reasoning about Actions and Change.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
2	Pedro Cabalar	Answer Set; Programming?	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
2	Katsumi Inoue, Chiaki Sakama	Exploring Relations between Answer Set Programs.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
2	Richard Watson, Marina De Vos	ASTREA: Answer Sets for a Trusted Reasoning Environment for Agents.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
2	José Júlio Alferes, Alfredo Gabaldon, João Leite	Evolving Logic Programs with Temporal Operators.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
2	Forrest Sheng Bao, Sandeep Chintabathina, A. Ricardo Morales, Nelson Rushton, Richard Watson, Yuanlin Zhang	A Temporally Expressive Planner Based on Answer Set Programming with Constraints: Preliminary Design.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
2	Paolo Ferraris, Vladimir Lifschitz	On the Minimality of Stable Models.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
2	Wolfgang Faber, Stefan Woltran	Manifold Answer-Set Programs and Their Applications.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
2	Esra Erdem	Applications of Answer Set Programming in Phylogenetic Systematics.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
2	Chitta Baral, Gregory Gelfond	On Representing Actions in Multi-agent Domains.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
2	Giovanni Grasso, Nicola Leone, Marco Manna, Francesco Ricca	ASP at Work: Spin-off and Applications of the DLV System.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
2	Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub	Challenges in Answer Set Solving.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
2	Massimiliano Albanese, Matthias Broecheler, John Grant, Maria Vanina Martinez, V. S. Subrahmanian	PLINI: A Probabilistic Logic Program Framework for Inconsistent News Information.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
2	Niels Radstake, Peter J. F. Lucas, Marina Velikova, Maurice Samulski	Critiquing Knowledge Representation in Medical Image Interpretation Using Structure Learning.	KR4HC	2010	DBLP DOI BibTeX RDF
2	Xue Qing Ji	Software Engineering Knowledge Representation Based on Ontology for Multisite Software Development.	APWCS	2010	DBLP DOI BibTeX RDF	Ontology, Software Engineering, Knowledge Representation
2	Chitta Baral, Ian Horrocks, Yoav Shoham	Invited Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning.	KR	2010	DBLP BibTeX RDF