Search results for "belief maintenance"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Jonathan Y. Ito, David V. Pynadath, Stacy C. Marsella	Self-deceptive decision making: normative and descriptive insights.	AAMAS	2009	DBLP DOI BibTeX RDF	self-deception, wishful thinking, multi-agent systems, decision theory
1	Moshe Y. Vardi	Constraints, Graphs, Algebra, Logic, and Complexity.	TAMC	2009	DBLP DOI BibTeX RDF
1	Phokion G. Kolaitis, Moshe Y. Vardi	A Logical Approach to Constraint Satisfaction.	Complexity of Constraints	2008	DBLP DOI BibTeX RDF
1	Jonathan Y. Ito, David V. Pynadath, Stacy Marsella	Modeling Self-deception within a Decision-Theoretic Framework.	IVA	2008	DBLP DOI BibTeX RDF
1	Mei Si, Stacy C. Marsella, David V. Pynadath	Modeling Appraisal in Theory of Mind Reasoning.	IVA	2008	DBLP DOI BibTeX RDF
1	César F. Pimentel, Maria R. Cravo	Affective Revision.	EPIA	2005	DBLP DOI BibTeX RDF
1	Karen Fullam, K. Suzanne Barber	A Temporal Policy for Trusting Information.	Trusting Agents for Trusting Electronic Societies	2004	DBLP DOI BibTeX RDF
1	Phokion G. Kolaitis	Constraint Satisfaction, Complexity, and Logic.	SETN	2004	DBLP DOI BibTeX RDF
1	Yang Li, Hongji Yang, William C. Chu	Fusing ambiguous domain knowledge slices in a reverse engineering process.	APSEC	2000	DBLP DOI BibTeX RDF	ambiguous domain knowledge slices, domain knowledge recovery, ambiguity handling, reverse engineering, reverse engineering, knowledge representation, information technology, software reuse, program understanding, software reusability, source code, system evolution, legacy code, belief maintenance
1	Raymond Lau, Arthur H. M. ter Hofstede, Peter Bruza, Kam-Fai Wong	Belief revision and possibilistic logic for adaptive information filtering agents.	ICTAI	2000	DBLP DOI BibTeX RDF	adaptive information filtering agents, adaptive information agents, explanatory power, learning autonomy, logic based framework, AGM belief revision, filtering components, Internet, information retrieval, learning (artificial intelligence), software agents, adaptive systems, belief revision, information overload, possibility theory, information agents, semantic relationships, possibilistic logic, belief maintenance, information objects
1	David E. Losada, Alvaro Barreiro	Implementing Document Ranking within a Logical Framework. (PDF / PS)	SPIRE	2000	DBLP DOI BibTeX RDF	expressive representations, unrestricted propositional formulas, partial document descriptions, information retrieval, belief revision, logical framework, logical model, document ranking, belief maintenance, vector representation
1	Moshe Y. Vardi	Constraint Satisfaction and Database Theory: a Tutorial.	PODS	2000	DBLP DOI BibTeX RDF
1	James Westendorp, Paul Scerri, Lawrence Cavedon	Strategic Behavior-Based Reasoning with Dynamic, Partial Information.	Australian Joint Conference on Artificial Intelligence	1998	DBLP DOI BibTeX RDF
1	Stephen H. Brackin	A HOL extension of GNY for automatically analyzing cryptographic protocols.	CSFW	1996	DBLP DOI BibTeX RDF	HOL extension, automatically analyzing cryptographic protocols, higher order logic theory, authentication properties, protocol properties, hash operations, key-exchange algorithms, formal specification, cryptography, message authentication, access protocols, message authentication codes, multiple encryption, belief maintenance, belief logic
1	Horst Zuse	Foundations of object-oriented software measures.	IEEE METRICS	1996	DBLP DOI BibTeX RDF	object-oriented software measures, binary operations, extensive structure, qualitative criteria, Dempster-Shafer belief function, Kolmogoroff axioms, DeFinetti axioms, software measurement theory, concatenation operations, dominance axiom, object-oriented programming, software metrics, methods, inference mechanisms, object-oriented methods, programming theory, classes, uncertainty handling, weak order, belief maintenance, numbers
1	Srinivasan Raghunathan, Ramayya Krishnan, Jerrold H. May	On using belief maintenance systems to assist mathematical modeling.	IEEE Transactions on Systems, Man, and Cybernetics	1995	DBLP DOI BibTeX RDF
1	Marco Ramoni, Alberto Riva	Belief Maintenance in Bayesian Networks.	UAI	1994	DBLP BibTeX RDF
1	Paul Dagum, R. Martin Chavez	Approximating Probabilistic Inference in Bayesian Belief Networks.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	probabilistic inference approximation, stochastic simulation algorithm, D-BNRAS, reasoning, polynomial, polynomials, inference mechanisms, Bayes methods, Bayesian belief networks, uncertainty handling, conditional probabilities, probabilistic logic, belief maintenance
1	David Heckerman, Eric Horvitz, Blackford Middleton	An Approximate Nonmyopic Computation for Value of Information.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	approximate nonmyopic computation, probability, probability, information theory, decision theory, decision theory, belief networks, belief maintenance, information value
1	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
1	Paul Buchheit	Belief Maintenance in a Natural Language System.	ICTAI	1992	DBLP BibTeX RDF
1	Prakash P. Shenoy, Gautam Biswas	Belief functions and belief maintenance in artificial intelligence.	Int. J. Approx. Reasoning	1990	DBLP DOI BibTeX RDF
1	Rina Dechter, Avi Dechter	Belief Maintenance in Dynamic Constraint Networks.	AAAI	1988	DBLP BibTeX RDF
1	Kathryn B. Laskey, Paul E. Lehner	Belief Maintenance: An Integrated Approach to Uncertainty Management.	AAAI	1988	DBLP BibTeX RDF
1	Brian Falkenhainer	Towards a general-purpose belief maintenance system.	UAI	1986	DBLP BibTeX RDF