Search results for "Inference"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	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
21	Bruce A. Draper, Carla E. Brodley, Paul E. Utgoff	Goal-Directed Classification Using Linear Machine Decision Trees.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	goal-directed classification, linear machine decision trees, feature-based classification, nonparametric classification, linear machine decision tree, multivariate decision tree induction, misclassification cost functions, image understanding systems, pattern recognition, computer vision, trees (mathematics), inference mechanisms, decision theory, learning systems, pixel classification, inference algorithms
21	V. Sridhar, M. Narasimha Murty	Belief revision - an axiomatic approach.	J. Intell. Robotic Syst.	1993	DBLP DOI BibTeX RDF	defeasible beliefs, inheritance network, multiple implications, nonmonotonic inference rule, belief revision, multiple inheritance, logical inference, Axiomatic approach
21	Fatih Ulupinar, Ramakant Nevatia	Perception of 3-D Surfaces from 2-D Contours.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	3D shape inference, 2D contours, parallel symmetries, surface orientation recovery, skew symmetries, zero Gaussian curvature, computer vision, image recognition, image recognition, inference mechanisms, machine vision
21	Michael P. Wellman, Max Henrion	Explaining 'Explaining Away'.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	causal explanation, general qualitative probabilistic analysis, intercausal reasoning, product synergy, qualitative probabilistic network, probabilistic belief, Occam's razor, probability, inference, inference mechanisms, explanation, uncertainty handling, belief maintenance
21	Kenneth W. Fertig, John S. Breese	Probability Intervals Over Influence Diagrams.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	Bayesian conditioning, point-valued probabilistic inference mechanisms, computational complexity, lower bounds, probability, sensitivity analysis, sensitivity analysis, inference mechanisms, Bayes methods, probability distributions, probabilistic reasoning, uncertainty handling, influence diagrams, probabilistic queries, conditional expectation
21	Dong-Guk Shin, Keki B. Irani	Fragmenting Relations Horizontally Using a Knowledge-Based Approach.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	distributed DBMSs, horizontal fragmentation technique, typical user queries, revised query expressions, estimated user reference clusters, many-sorted language, inference procedure, knowledge representation, knowledge based systems, distributed databases, inference mechanisms, information retrieval systems, knowledge-based approach
21	Claudia Crimi, Angela Guercio, Giuliano Pacini, Genoveffa Tortora, Maurizio Tucci	Automating Visual Language Generation.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	automatic visual language generation, customized visual languages, inference grammar techniques, general semantic information, knowledge based systems, visual programming, knowledge base, inference mechanisms, grammars, attribute grammar, application environment
21	Mark Moriconi, Timothy C. Winkler	Approximate Reasoning About the Semantic Effects of Program Changes.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	semantic effects, program changes, logical technique, direct analysis, parametrized modules, structural interpretation, formal specification, program verification, inference mechanisms, approximate reasoning, procedures, inference system, global variables
21	Douglas R. Smith	KIDS: A Semiautomatic Program Development System.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	KIDS, semiautomatic program development system, Kestrel Interactive Development System, deductive inference, finite differencing optimizations, data type refinement, k-queens problem, SUN-4/110, software engineering, formal specifications, compilation, optimisation, partial evaluation, inference mechanisms, algorithm design, program simplification
21	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
21	Peter T. Sander, Steven W. Zucker	Inferring Surface Trace and Differential Structure from 3-D Images.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	3D image inference, surface trace, differential structure, trace points, functional minimization algorithm, overlapping local charts, clinical magnetic resonance images, pattern recognition, robustness, picture processing, inference mechanisms, image understanding, surface smoothness, principal curvature
21	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
21	Chao-Chih Yang	Deduction Graphs: An Algorithm and Applications.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	deduction graph, function-free Horn formula, logic queries, artificial intelligence, logic programming, logic programming, relational database, relational databases, expert systems, database theory, inference mechanisms, functional dependency, Horn clauses, polynomial time complexity, rule-based expert systems, inference problem
21	Eric Schoen, Reid G. Smith, Bruce G. Buchanan	Design of Knowledge-Based Systems with a Knowledge-Based Assistant.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	knowledge-based assistant, problem domain, inference knowledge, encoded knowledge, initial domain model, user-interface, user interfaces, testing, object-oriented programming, knowledge-based systems, knowledge based systems, validation, programming environments, knowledge acquisition, knowledge acquisition, program verification, inference mechanisms, high level languages, intelligent assistant, object-oriented programming language
21	Sameer Singh 0001, Karl Schultz, Andrew McCallum	Bi-directional Joint Inference for Entity Resolution and Segmentation Using Imperatively-Defined Factor Graphs.	ECML/PKDD (2)	2009	DBLP DOI BibTeX RDF
21	Jerome R. Busemeyer, Jennifer Trueblood	Comparison of Quantum and Bayesian Inference Models.	QI	2009	DBLP DOI BibTeX RDF
21	Bogdan Pasaniuc, Justin Kennedy, Ion I. Mandoiu	Imputation-Based Local Ancestry Inference in Admixed Populations.	ISBRA	2009	DBLP DOI BibTeX RDF
21	Xiuwei Zhang, Bernard M. E. Moret	Improving Inference of Transcriptional Regulatory Networks Based on Network Evolutionary Models.	WABI	2009	DBLP DOI BibTeX RDF
21	Ivan Nunes da Silva, Rogério Andrade Flauzino	Efficient Parametric Adjustment of Fuzzy Inference System Using Error Backpropagation Method.	ICANN (1)	2009	DBLP DOI BibTeX RDF	tuning algorithm, error backpropagation, Fuzzy systems
21	Timothy M. Hospedales, Sethu Vijayakumar	Structure Inference for Bayesian Multisensory Scene Understanding.	IEEE Trans. Pattern Anal. Mach. Intell.	2008	DBLP DOI BibTeX RDF
21	Jason K. Johnson, Alan S. Willsky	A Recursive Model-Reduction Method for Approximate Inference in Gaussian Markov Random Fields.	IEEE Trans. Image Process.	2008	DBLP DOI BibTeX RDF
21	Cory J. Butz, Pawan Lingras, Ken Konkel	A Web-Based Interface for Hiding Bayesian Network Inference.	ISMIS	2008	DBLP DOI BibTeX RDF
21	Mihai Surdeanu, Roser Morante, Lluís Màrquez	Analysis of Joint Inference Strategies for the Semantic Role Labeling of Spanish and Catalan.	CICLing	2008	DBLP DOI BibTeX RDF
21	Yinglong Xia, Viktor K. Prasanna	Junction tree decomposition for parallel exact inference.	IPDPS	2008	DBLP DOI BibTeX RDF
21	Therese Berg, Bengt Jonsson 0001, Harald Raffelt	Regular Inference for State Machines Using Domains with Equality Tests.	FASE	2008	DBLP DOI BibTeX RDF
21	Floriana Esposito, Stefano Ferilli, Teresa Maria Altomare Basile, Nicola Di Mauro	Inference of abduction theories for handling incompleteness in first-order learning.	Knowl. Inf. Syst.	2007	DBLP DOI BibTeX RDF	Incomplete knowledge, Inductive Logic Programming, Abduction
21	Zhan-Li Sun, Kin-Fan Au, Tsan-Ming Choi	A Neuro-Fuzzy Inference System Through Integration of Fuzzy Logic and Extreme Learning Machines.	IEEE Trans. Syst. Man Cybern. Part B	2007	DBLP DOI BibTeX RDF
21	Claudio Pizzi	Abductive Inference and Iterated Conditionals.	Model-Based Reasoning in Science, Technology, and Medicine	2007	DBLP DOI BibTeX RDF
21	Ivan Nunes da Silva, Rogério Andrade Flauzino	Efficient Parametric Adjustment of Fuzzy Inference System Using Unconstrained Optimization.	IWANN	2007	DBLP DOI BibTeX RDF	tuning algorithm, Fuzzy systems, system optimization
21	Luís A. Lucas, Tania Mezzadri Centeno, Myriam Regattieri Delgado	General Type-2 Fuzzy Inference Systems: Analysis, Design and Computational Aspects.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
21	Abdelkader Heni, Adel M. Alimi	Approximate inference in dynamic possibilistic networks.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
21	Adrian Petcu, Boi Faltings	A Hybrid of Inference and Local Search for Distributed Combinatorial Optimization.	IAT	2007	DBLP DOI BibTeX RDF
21	Shihai Zhang, Shujun Liu, Jinping Ou, Guangyuan Wang	Improved Fuzzy Inference Network and Its Applications in Multi-targets Optimization of the High-Rise Structure Form Selection.	FSKD (1)	2007	DBLP DOI BibTeX RDF
21	Yu Sun 0005, Yuefei Sui	Default Description Logics with Reversing Inference Rules.	IEEE ICCI	2006	DBLP DOI BibTeX RDF
21	Deepak Verma, Rajesh P. N. Rao	Planning and Acting in Uncertain Environments using Probabilistic Inference.	IROS	2006	DBLP DOI BibTeX RDF
21	Zhenyue Deng, Geoffrey Smith 0001	Type inference and informative error reporting for secure information flow.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF
21	François Fages, Sylvain Soliman	Type Inference in Systems Biology.	CMSB	2006	DBLP DOI BibTeX RDF
21	Madalina Ionita, Mihaela Breaban, Cornelius Croitoru	A New Scheme of Using Inference Inside Evolutionary Computation Techniques to Solve CSPs.	SYNASC	2006	DBLP DOI BibTeX RDF
21	Marc Toussaint, Amos J. Storkey	Probabilistic inference for solving discrete and continuous state Markov Decision Processes.	ICML	2006	DBLP DOI BibTeX RDF
21	Robert P. W. Duin, Elzbieta Pekalska	Structural Inference of Sensor-Based Measurements.	SSPR/SPR	2006	DBLP DOI BibTeX RDF
21	Henning Makholm, J. B. Wells	Type inference, principal typings, and let-polymorphism for first-class mixin modules.	ICFP	2005	DBLP DOI BibTeX RDF	mixin modules, record concatenation, row unification, type systems, polymorphism
21	Aaron Tomb, Cormac Flanagan	Automatic type inference via partial evaluation.	PPDP	2005	DBLP DOI BibTeX RDF	applications of declarative programming, logic programming, program analysis, type systems
21	Dan Roth, Wen-tau Yih	Integer linear programming inference for conditional random fields.	ICML	2005	DBLP DOI BibTeX RDF
21	Sanjiv Kumar, Jonas August, Martial Hebert	Exploiting Inference for Approximate Parameter Learning in Discriminative Fields: An Empirical Study.	EMMCVPR	2005	DBLP DOI BibTeX RDF
21	Cormac Flanagan, Stephen N. Freund	Type Inference Against Races.	SAS	2004	DBLP DOI BibTeX RDF
21	Susu Yao, Weisi Lin, Zhongkang Lu, Ee Ping Ong, Xiaokang Yang	Perceptual video quality evaluation using fuzzy inference system.	ISCAS (3)	2004	DBLP DOI BibTeX RDF
21	Jiang Gao, Jianbo Shi	Multiple Frame Motion Inference Using Belief Propagation.	FGR	2004	DBLP DOI BibTeX RDF
21	Hui Tian 0001, Hong Shen 0001	Multicast-Based Inference of Network-Internal Loss Performance.	ISPAN	2004	DBLP DOI BibTeX RDF
21	Bradford Starkie, François Coste, Menno van Zaanen	The Omphalos Context-Free Grammar Learning Competition.	ICGI	2004	DBLP DOI BibTeX RDF
21	Frank J. Balbach	Changing the Inference Type - Keeping the Hypothesis Space.	ALT	2003	DBLP DOI BibTeX RDF
21	Roberta Gori, Giorgio Levi	An Experiment in Type Inference and Verification by Abstract Interpretation.	VMCAI	2002	DBLP DOI BibTeX RDF
21	Masaki Suwa, Barbara Tversky	External Representations Contribute to the Dynamic Construction of Ideas.	Diagrams	2002	DBLP DOI BibTeX RDF
21	Harro Kiendl, Paul Krause	Advanced Inference Filter Defuzzification.	Fuzzy Days	2001	DBLP DOI BibTeX RDF
21	Sandra Zilles	On the Comparison of Inductive Inference Criteria for Uniform Learning of Finite Classes.	ALT	2001	DBLP DOI BibTeX RDF
21	Jean-Marc Laferté, Patrick Pérez, Fabrice Heitz	Discrete Markov image modeling and inference on the quadtree.	IEEE Trans. Image Process.	2000	DBLP DOI BibTeX RDF
21	Xue Li, Wayne Huang 0001	Counter Inference of Intelligent Agents.	TOOLS (36)	2000	DBLP DOI BibTeX RDF
21	Pattarachai Lalitrojwong	CIM - The Hybrid Symbolic/Connectionist Rule-Based Inference System.	IEA/AIE	2000	DBLP DOI BibTeX RDF
21	Yasunori Morishima	Effects of Discourse Context on Inference Computation During Comprehension.	CONTEXT	1999	DBLP DOI BibTeX RDF
21	Joakim von Wright	Extending Window Inference.	TPHOLs	1998	DBLP DOI BibTeX RDF
21	David Gillman, Michael Sipser	Inference and Minimization of Hidden Markov Chains.	COLT	1994	DBLP DOI BibTeX RDF
21	Takahira Yamaguti, Masaki Kurematsu	Legal Knowledge Acquisition Using Case-Based Reasoning and Model Inference.	ICAIL	1993	DBLP DOI BibTeX RDF
21	Harry S. Delugach, Thomas H. Hinke	AERIE: Database Inference Modeling and Detection Using Conceptual Graphs.	Workshop on Conceptual Graphs	1992	DBLP DOI BibTeX RDF
21	Véronique Royer, Joachim Quantz	Deriving Inference Rules for Terminological Logics.	JELIA	1992	DBLP DOI BibTeX RDF
21	Klaus P. Jantke	Case-Based Learning in Inductive Inference.	COLT	1992	DBLP DOI BibTeX RDF
21	You-Chin Fuh, Prateek Mishra	Type Inference with Subtypes.	ESOP	1988	DBLP DOI BibTeX RDF
21	Shunichi Uchida	Toward the Parallel Inference Machine.	CONPAR	1986	DBLP DOI BibTeX RDF
21	Alan M. Frisch, James F. Allen	Knowledge Retrieval as Limited Inference.	CADE	1982	DBLP DOI BibTeX RDF
21	Alan Bundy, Bob Welham	Using Meta-Level Inference for Selective Application of Multiple Rewrite Rules in Algebraic Manipulation.	CADE	1980	DBLP DOI BibTeX RDF	mathematical reasoning, algebraic manipulation and meta-level reasoning, theorem proving, rewrite rules
20	Qun Ni, Elisa Bertino, Jorge Lobo 0001	Risk-based access control systems built on fuzzy inferences.	AsiaCCS	2010	DBLP DOI BibTeX RDF	access control, risk, fuzzy inference
20	Ross Tate, Juan Chen, Chris Hawblitzel	Inferable object-oriented typed assembly language.	PLDI	2010	DBLP DOI BibTeX RDF	existential quantification, object-oriented compiler, typed assembly language (tal), type inference, certifying compiler
20	Clare A. McGrory, D. M. Titterington, R. Reeves, Anthony N. Pettitt	Variational Bayes for estimating the parameters of a hidden Potts model.	Stat. Comput.	2009	DBLP DOI BibTeX RDF	Potts/Ising model, Hidden Markov random field, Variational approximation, Pseudo-likelihood, Reduced dependence approximation, Bayesian inference
20	Cory J. Butz, Hong Yao, Shan Hua	A join tree probability propagation architecture for semantic modeling.	J. Intell. Inf. Syst.	2009	DBLP DOI BibTeX RDF	Join trees, Bayesian networks, Probabilistic inference, Conditional independence
20	Gyehwan Jin, SangBock Lee, Taesoo Lee	Context Awareness of Human Motion States Using Accelerometer.	J. Medical Syst.	2008	DBLP DOI BibTeX RDF	Motion states, Context awareness, Accelerometer, Fuzzy inference system
20	Benjamin S. Lerner, Matthew Flower, Dan Grossman, Craig Chambers	Searching for type-error messages.	PLDI	2007	DBLP DOI BibTeX RDF	seminal, type-inference, type-checking, objective Caml, error messages
20	Martin Plümicke, Jörg Bäuerle	Typeless programming in Java 5.0.	PPPJ	2006	DBLP DOI BibTeX RDF	program design and implementation, code generation, type system, type inference, language design
20	Reggie Davidrajuh, Jan Erik Tvedteras	Fuzzy Approach for Measuring E-Readiness.	CIMCA/IAWTIC	2006	DBLP DOI BibTeX RDF	Measuring e-readiness, fuzzy logic, e-government, inference engine
20	Rick Crawford, Matt Bishop, Bhume Bhumiratana, Lisa Clark, Karl N. Levitt	Sanitization models and their limitations.	NSPW	2006	DBLP DOI BibTeX RDF	data sanitization, closed world assumption, disclosure control, inference problem
20	Benjamin C. Lee, David M. Brooks	Accurate and efficient regression modeling for microarchitectural performance and power prediction.	ASPLOS	2006	DBLP DOI BibTeX RDF	simulation, statistics, regression, inference, microarchitecture
20	Zi Lu, Jie Lu 0001, Chenggang Bai, Guangquan Zhang 0001	Customer Online Shopping Behaviours Analysis Using Bayesian Networks.	Australian Conference on Artificial Intelligence	2006	DBLP DOI BibTeX RDF	Customer behaviours, Bayesian networks, Inference, E-services
20	Ping Hou	Some Representation Theorems for Recovering Contraction Relations.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	contraction inference relation, belief contraction, epistemic state, representation theorem
20	Carlos Iván Chesñevar, Guillermo Ricardo Simari, Lluís Godo, Teresa Alsinet	Argument-Based Expansion Operators in Possibilistic Defeasible Logic Programming: Characterization and Logical Properties.	ECSQARU	2005	DBLP DOI BibTeX RDF	non-monotonic inference, logic programming, uncertainty, argumentation
20	Manish Vachharajani, Neil Vachharajani, David I. August	The liberty structural specification language: a high-level modeling language for component reuse.	PLDI	2004	DBLP DOI BibTeX RDF	Liberty Structural Specification (LSS), simulator construction, use-based specialization, type inference, component reuse, structural modeling, Liberty Simulation Environment (LSE)
20	Vincent Simonet	An extension of HM(X) with bounded existential and universal data-types.	ICFP	2003	DBLP DOI BibTeX RDF	existential and universal data-types, structural subtyping, constraint-based type inference
20	Jeffrey S. Foster, Tachio Terauchi, Alexander Aiken	Flow-Sensitive Type Qualifiers.	PLDI	2002	DBLP DOI BibTeX RDF	effect inference, constraints, types, locking, alias analysis, linux kernel, type qualifiers, restrict, flow-sensitivity
20	John Esch, Robert Levinson	In Implementation Model for Contexts and Negation in Conceptual Graphs.	ICCS	1995	DBLP DOI BibTeX RDF	Contexts, Knowledge Representation, Consistency, Retrieval, Inference, Conceptual Graphs, Negation
20	Leland L. Beck	A Security Mechanism for Statistical Databases.	ACM Trans. Database Syst.	1980	DBLP DOI BibTeX RDF	database inference, data security, privacy protection, statistical databases, compromisability, statistical queries
19	Zhen Wen, Ching-Yung Lin	On the quality of inferring interests from social neighbors.	KDD	2010	DBLP DOI BibTeX RDF	social networks, quality, user interest modeling
19	Amol Deshpande	Increasing representational power and scaling reasoning in probabilistic databases.	ICDT	2010	DBLP DOI BibTeX RDF
19	Yarui Chen, Shizhong Liao	Message family propagation for ising mean field based on iteration tree.	CIKM	2009	DBLP DOI BibTeX RDF	Ising mean field, iteration tree, message family propagation
19	Gang Wu, Juanzi Li, Jianqiang Hu, Kehong Wang	System II: A Native RDF Repository Based on the Hypergraph Representation for RDF Data Model.	WAIM	2008	DBLP DOI BibTeX RDF
19	Francesco M. Malvestuto	Auditing Categorical SUM, MAX and MIN Queries.	Privacy in Statistical Databases	2008	DBLP DOI BibTeX RDF	sum-query, max-query, min-query, null values, Aggregate function
19	Jian Ni, Sekhar Tatikonda	Network tomography based on additive metrics.	CISS	2008	DBLP DOI BibTeX RDF
19	Tiziana Catarci, Alan J. Dix, Akrivi Katifori, Giorgos Lepouras, Antonella Poggi	Task-Centred Information Management.	DELOS	2007	DBLP DOI BibTeX RDF
19	Ulrich Bodenhofer, Martina Danková, Martin Stepnicka, Vilém Novák	A Plea for the Usefulness of the Deductive Interpretation of Fuzzy Rules in Engineering Applications.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
19	Guilin Qi, Jeff Z. Pan, Qiu Ji	Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic.	ECSQARU	2007	DBLP DOI BibTeX RDF
19	Young Cho, Sanggil Kang	Weighted CRI Method for Fuzzy Controller.	ICIC (3)	2007	DBLP DOI BibTeX RDF
19	Yu Jiang, Binxing Fang, Ming-Zeng Hu, Xiang Cui	Techniques for Determining the Geographic Location of IP Addresses in ISP Topology Measurement.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	Internet topology measurement, geographic location, network deployment structure, whois information, routing, network topology, domain name
19	Sylvie Coste-Marquis, Pierre Marquis	On Stratified Belief Base Compilation.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	reasoning under inconsistency, stratified belief base, computational complexity, knowledge compilation
19	Akihito Nagata, Naoki Kobayashi 0001, Akinori Yonezawa	Region-Based Memory Management for a Dynamically-Typed Language.	APLAS	2004	DBLP DOI BibTeX RDF