Search results for "postulates"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
61	Brian Hill	Towards a "Sophisticated" Model of Belief Dynamics. Part II: Belief Revision.	Stud Logica	2008	DBLP DOI BibTeX RDF	Representations of belief, logical omniscience, logical locality, belief dynamics, iterated revision, Gärdenfors postulates, framing effect, awareness, bounded rationality, rational choice theory
61	Ana Gabriela Maguitman, Guillermo Ricardo Simari	Rationality Postulates for Relevance Relation.	SCCC	1998	DBLP DOI BibTeX RDF
49	Andreas Blass, Yuri Gurevich	Abstract state machines capture parallel algorithms: Correction and extension.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	ASM thesis, postulates for parallel computation, Parallel algorithm, parallel programming, abstract state machine
49	Mauricio Osorio 0001, Fernando Zacarías Flores	On Updates of Logic Programs: A Properties-Based Approach.	FoIKS	2004	DBLP DOI BibTeX RDF	Nelson logic, Update programs, AGM postulates, Answer set programming, Properties, Strong negation
49	Andreas Herzig, Sébastien Konieczny, Laurent Perrussel	On Iterated Revision in the AGM Framework.	ECSQARU	2003	DBLP DOI BibTeX RDF
49	Richard Booth 0001	On the Logic of Iterated Non-prioritised Revision.	WCII	2002	DBLP DOI BibTeX RDF
37	Andreas Blass, Yuri Gurevich	Ordinary interactive small-step algorithms, II.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	equivalence of algorithms, postulates, interaction, abstract state machines, Sequential algorithms
37	Andreas Blass, Yuri Gurevich	Ordinary interactive small-step algorithms, I.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	equivalence of algorithms, postulates, interaction, abstract state machines, Sequential algorithms
36	Natasha Alechina, Mark Jago, Brian Logan 0001	Preference-based belief revision for rule-based agents.	Synth.	2008	DBLP DOI BibTeX RDF	Reason maintenance systems, Rule-based agents, Preferences, Belief revision
36	Guilin Qi, Weiru Liu, David A. Bell	Knowledge Base Revision in Description Logics.	JELIA	2006	DBLP DOI BibTeX RDF
36	Natasha Alechina, Mark Jago, Brian Logan 0001	Resource-Bounded Belief Revision and Contraction.	DALT	2005	DBLP DOI BibTeX RDF
36	Oliver Schulte	Minimal Belief Change and Pareto-Optimality.	Australian Joint Conference on Artificial Intelligence	1999	DBLP DOI BibTeX RDF	decision theory, belief revision
36	Stefan Wrobel	On the Proper Definition of Minimality in Specialization and Theory Revision.	ECML	1993	DBLP DOI BibTeX RDF
36	João Falcão e Cunha	Simplifying and Correcting the Treatment of Intentionality in Montague Semantics.	EAIA	1990	DBLP DOI BibTeX RDF
36	Henri Prade, Gilles Richard	Analogy, Paralogy and Reverse Analogy: Postulates and Inferences.	KI	2009	DBLP DOI BibTeX RDF
36	Carlos Periñán-Pascual, Francisco Arcas-Túnez	Meaning Postulates in a Lexico-Conceptual Knowledge Base.	DEXA Workshops	2004	DBLP DOI BibTeX RDF
36	Cees Witteveen, Wiebe van der Hoek	Some postulates for Nonmonotonic Theory Revision Applied to Logic Programming.	ELP	1996	DBLP DOI BibTeX RDF
24	Brian Hill	Towards a "Sophisticated" Model of Belief Dynamics. Part I: The General Framework.	Stud Logica	2008	DBLP DOI BibTeX RDF	Representations of belief, logical omniscience, logical locality, belief dynamics, iterated revision, Gärdenfors postulates, framing effect, awareness, bounded rationality, rational choice theory
24	Andreas Blass, Yuri Gurevich	Ordinary interactive small-step algorithms, III.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	equivalence of algorithms, postulates, interaction, abstract state machines, Sequential algorithms
24	Andreas Blass, Yuri Gurevich	Abstract state machines capture parallel algorithms.	ACM Trans. Comput. Log.	2003	DBLP DOI BibTeX RDF	ASM thesis, postulates for parallel computation, Parallel algorithm, abstract state machine
24	Tom Coffey, Puneet Saidha, Peter Burrows	Analysing the security of a non-repudiation communication protocol with mandatory proof of receipt.	ISICT	2003	DBLP DOI BibTeX RDF	cryptographic protocol verification, logical postulates, proof of origin, proof of receipt, logics, security protocols, public-key cryptography, non-repudiation, deductive reasoning
24	Chandrabose Aravindan, Phan Minh Dung	Belief Dynamics, Abduction, and Database.	JELIA	1994	DBLP DOI BibTeX RDF	belief dynamics, rationality postulates, databases, abduction, epistemology, view updates
24	Norman K. Sondheimer, Susanna Cumming, Robert Albano	How to realize a concept: Lexical selection and the conceptual network in text generation.	Mach. Transl.	1990	DBLP DOI BibTeX RDF	lexical selection, meaning postulates, knowledge representation, first-order logic, concepts, natural-language generation, English, nouns
24	Jim B. Surjaatmadja	An Algebra for Switching Circuits.	IEEE Trans. Computers	1981	DBLP DOI BibTeX RDF	canonical operators, noncanonical operators, postulates, switching circuit algebra, consensus, Boolean algebra, complementation, theorems, Karnaugh maps
24	Xi Zhang, Jan Chomicki	Semantics and evaluation of top-k queries in probabilistic databases.	Distributed Parallel Databases	2009	DBLP DOI BibTeX RDF	Query processing, Probabilistic database, Top-k query, Ranking query
24	Alan Eckhardt, Tomás Skopal, Peter Vojtás	On Fuzzy vs. Metric Similarity Search in Complex Databases.	FQAS	2009	DBLP DOI BibTeX RDF
24	Guilin Qi, Qiu Ji, Peter Haase 0001	A Conflict-Based Operator for Mapping Revision.	ISWC	2009	DBLP DOI BibTeX RDF
24	Rajeev Goré, Linda Postniece, Alwen Tiu	Taming Displayed Tense Logics Using Nested Sequents with Deep Inference.	TABLEAUX	2009	DBLP DOI BibTeX RDF
24	Yoshitaka Suzuki, Satoshi Tojo, Stijn De Saeger	Iterated Belief Revision in the Face of Uncertain Communication.	DALT	2008	DBLP DOI BibTeX RDF
24	Yuan Hui Tsai, Chieh-Peng Lin, Chou-Kang Chiu	Modeling the Mediating Role of Online Social Capital in Social Support and Service IT Usage.	APSCC	2008	DBLP DOI BibTeX RDF
24	Trong Hieu Tran, Ngoc Thanh Nguyen 0001	Integration of Knowledge in Disjunctive Structure on Semantic Level.	KES (1)	2008	DBLP DOI BibTeX RDF	consensus methods, knowledge integration
24	Trong Hieu Tran, Ngoc Thanh Nguyen 0001	An Algorithm for Agent Knowledge Integration Using Conjunctive and Disjunctive Structures.	KES-AMSTA	2008	DBLP DOI BibTeX RDF	multi-agent system, knowledge integration, consensus theory
24	Nikos Gorogiannis, Anthony Hunter	Merging First-Order Knowledge Using Dilation Operators.	FoIKS	2008	DBLP DOI BibTeX RDF
24	Ping Luo 0001, Guoxing Zhan, Qing He 0003, Zhongzhi Shi, Kevin Lü 0001	On Defining Partition Entropy by Inequalities.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
24	Grzegorz Protaziuk, Henryk Rybinski	Discovering Association Rules in Incomplete Transactional Databases.	Trans. Rough Sets	2007	DBLP DOI BibTeX RDF	association rules, frequent itemsets, incompleteness, transactional data
24	Sumit Nain, Moshe Y. Vardi	Branching vs. Linear Time: Semantical Perspective.	ATVA	2007	DBLP DOI BibTeX RDF
24	Zhi Qiang Zhuang, Maurice Pagnucco, Thomas Meyer 0002	Implementing Iterated Belief Change Via Prime Implicates.	Australian Conference on Artificial Intelligence	2007	DBLP DOI BibTeX RDF
24	Mohua Banerjee, Pankaj Singh	Rough Contraction Through Partial Meets.	PReMI	2005	DBLP DOI BibTeX RDF
24	Jerusa Marchi, Guilherme Bittencourt, Laurent Perrussel	A Syntactical Approach to Belief Update.	MICAI	2005	DBLP DOI BibTeX RDF
24	Ngoc Thanh Nguyen 0001, Michal Malowiecki	Consistency Measures for Conflict Profiles.	Trans. Rough Sets	2004	DBLP DOI BibTeX RDF
24	Pei Yang, Yang Gao 0001, Zhaoqian Chen, Shifu Chen	Believability Based Iterated Belief Revision.	PRICAI	2004	DBLP DOI BibTeX RDF
24	Erich Grädel, Antje Nowack	Quantum Computing and Abstract State Machines.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
24	Wayne Wobcke	Intention and Rationality for PRS-Like Agents.	Australian Joint Conference on Artificial Intelligence	2002	DBLP DOI BibTeX RDF
24	Isabelle Bloch, Ramón Pino Pérez, Carlos Uzcátegui	Explanatory Relations Based on Mathematical Morphology.	ECSQARU	2001	DBLP DOI BibTeX RDF
24	Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti	Belief Revision and the Ramsey Test: A Solution.	AI*IA	2001	DBLP DOI BibTeX RDF
24	Thomas Andreas Meyer	Basic Infobase Change.	Australian Joint Conference on Artificial Intelligence	1999	DBLP DOI BibTeX RDF
24	Laks V. S. Lakshmanan, Nicola Leone, Robert B. Ross, V. S. Subrahmanian	ProbView: A Flexible Probabilistic Database System.	ACM Trans. Database Syst.	1997	DBLP DOI BibTeX RDF	probabilistic databases, view maintenance
24	Arash Abizadeh, Adrian Vetta	The blocker postulates for measures of voting power.	Soc. Choice Welf.	2023	DBLP DOI BibTeX RDF
24	Clayton Kevin Baker, Thomas Meyer 0002	Do Humans Find Postulates of Belief Change Plausible?	FLAP	2023	DBLP BibTeX RDF
24	Quanlong Guan, Tong Zhu, Liangda Fang, Junming Qiu, Zhao-Rong Lai, Weiqi Luo 0002	An Investigation of Darwiche and Pearl's Postulates for Iterated Belief Update.	CoRR	2023	DBLP DOI BibTeX RDF
24	Andrés Corrada-Emmanuel	The logic of NTQR evaluations of noisy AI agents: Complete postulates and logically consistent error correlations.	CoRR	2023	DBLP DOI BibTeX RDF
24	Artur Krawczyk	Proposal of Redefinition of the Terms Geomatics and Geoinformatics on the Basis of Terminological Postulates.	ISPRS Int. J. Geo Inf.	2022	DBLP DOI BibTeX RDF
24	John Grant, Francesco Parisi	General information spaces: measuring inconsistency, rationality postulates, and complexity.	Ann. Math. Artif. Intell.	2022	DBLP DOI BibTeX RDF
24	Kai Sauerwald	Semantics of Belief Change Operators for Intelligent Agents: Iteration, Postulates, and Realizability		2022	DOI RDF
24	Huber Nieto-Chaupis	The Machine Learning Principles Based at the Quantum Mechanics Postulates.	SAI (1)	2022	DBLP DOI BibTeX RDF
24	Clayton K. Baker, Thomas Andreas Meyer	Asking Human Reasoners to Judge Postulates of Belief Change for Plausibility.	NMR	2022	DBLP BibTeX RDF
24	John Grant, Maria Vanina Martinez, Cristian Molinaro, Francesco Parisi	Dimensional Inconsistency Measures and Postulates in Spatio-Temporal Databases (Extended Abstract).	IJCAI	2022	DBLP DOI BibTeX RDF
24	Marlo Souza, Renata Vieira, Álvaro F. Moreira	Dynamic Preference Logic meets iterated belief change: Representation results and postulates characterization.	Theor. Comput. Sci.	2021	DBLP DOI BibTeX RDF
24	John Grant, Maria Vanina Martinez, Cristian Molinaro, Francesco Parisi	Dimensional Inconsistency Measures and Postulates in Spatio-Temporal Databases.	J. Artif. Intell. Res.	2021	DBLP DOI BibTeX RDF
24	Marlo Souza, Álvaro F. Moreira, Renata Vieira	Dynamic Preference Logic meets Iterated Belief Change: Representation Results and Postulates Characterization.	CoRR	2021	DBLP BibTeX RDF
24	Arash Abizadeh, Adrian Vetta	A Recursive Measure of Voting Power that Satisfies Reasonable Postulates.	CoRR	2021	DBLP BibTeX RDF
24	John H. Selby, Carlo Maria Scandolo, Bob Coecke	Reconstructing quantum theory from diagrammatic postulates.	Quantum	2021	DBLP DOI BibTeX RDF
24	Rafael Silva, João F. L. Alcântara	ASPIC ? and the Postulates of Non-interference and Crash-Resistance.	BRACIS (1)	2021	DBLP DOI BibTeX RDF
24	Jan Maly 0001, Johannes Peter Wallner	Ranking Sets of Defeasible Elements in Preferential Approaches to Structured Argumentation: Postulates, Relations, and Characterizations.	AAAI	2021	DBLP DOI BibTeX RDF
24	Peer Sathikh, Zong Rui Dexter Fang, Guan Yi Tan	Achieving Trust in Future Human Interactions with Omnipresent AI: Some Postulates.	IntelliSys (1)	2021	DBLP DOI BibTeX RDF
24	Theo A. F. Kuipers	Refined nomic truth approximation by revising models and postulates.	Synth.	2020	DBLP DOI BibTeX RDF
24	Gabriele Kern-Isberner, Christoph Beierle, Gerhard Brewka	Syntax Splitting = Relevance + Independence: New Postulates for Nonmonotonic Reasoning From Conditional Belief Bases.	KR	2020	DBLP DOI BibTeX RDF
24	Piotr Kalita, José A. Langa, Fernando Soler-Toscano	Informational Structures and Informational Fields as a Prototype for the Description of Postulates of the Integrated Information Theory.	Entropy	2019	DBLP DOI BibTeX RDF
24	Pierre Boutry, Charly Gries, Julien Narboux, Pascal Schreck	Parallel Postulates and Continuity Axioms: A Mechanized Study in Intuitionistic Logic Using Coq.	J. Autom. Reason.	2019	DBLP DOI BibTeX RDF
24	B. Santhosh Kumar, S. Karthik 0001, V. P. Arunachalam	Upkeeping secrecy in information extraction using 'k' division graph based postulates.	Clust. Comput.	2019	DBLP DOI BibTeX RDF
24	Sergey I. Serdyukov	Macroscopic Entropy of Non-Equilibrium Systems and Postulates of Extended Thermodynamics: Application to Transport Phenomena and Chemical Reactions in Nanoparticles.	Entropy	2018	DBLP DOI BibTeX RDF
24	Jérôme Delobelle, Sébastien Konieczny, Srdjan Vesic	On the aggregation of argumentation frameworks: operators and postulates.	J. Log. Comput.	2018	DBLP DOI BibTeX RDF
24	Matthias Thimm	On the Compliance of Rationality Postulates for Inconsistency Measures: A More or Less Complete Picture.	Künstliche Intell.	2017	DBLP DOI BibTeX RDF
24	Philippe Besnard	Basic Postulates for Inconsistency Measures.	Trans. Large Scale Data Knowl. Centered Syst.	2017	DBLP DOI BibTeX RDF
24	Martin Caminada	Rationality Postulates: Applying Argumentation Theory for Non-monotonic Reasoning.	FLAP	2017	DBLP BibTeX RDF
24	Marcos Cramer, Giovanni Casini	Postulates for Revocation Schemes.	POST	2017	DBLP DOI BibTeX RDF
24	Srdjan Stankovic, Irena Orovic	Cognitive inspired learning based on the compressive sensing postulates.	MECO	2017	DBLP DOI BibTeX RDF
24	Theo A. F. Kuipers	Models, postulates, and generalized nomic truth approximation.	Synth.	2016	DBLP DOI BibTeX RDF
24	Haodi Zhang, Fangzhen Lin	Mapping Action Language BC to Logic Programs: A Characterization by Postulates.	AAAI	2016	DBLP DOI BibTeX RDF
24	Adrian Haret, Andreas Pfandler, Stefan Woltran	Beyond IC Postulates: Classification Criteria for Merging Operators.	ECAI	2016	DBLP DOI BibTeX RDF
24	Henry Prakken	Rethinking the Rationality Postulates for Argumentation-Based Inference.	COMMA	2016	DBLP DOI BibTeX RDF
24	Özgür Lütfü Özçep	Minimality Postulates for Ontology Revision.	KR	2016	DBLP BibTeX RDF
24	Glauber De Bona, Marcelo Finger	Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation.	Artif. Intell.	2015	DBLP DOI BibTeX RDF
24	Jianmin Ji, Jia-Huai You, Yisong Wang	On Forgetting Postulates in Answer Set Programming.	IJCAI	2015	DBLP BibTeX RDF
24	Leila Amgoud	Postulates for logic-based argumentation systems.	Int. J. Approx. Reason.	2014	DBLP DOI BibTeX RDF
24	Philippe Besnard	Revisiting Postulates for Inconsistency Measures.	JELIA	2014	DBLP DOI BibTeX RDF
24	Eva Carolina Pataki, Andras Sagi, Jozef Kabok	A contemporary approach to postulates of consumer behavior models.	SISY	2014	DBLP DOI BibTeX RDF
24	Jadwiga Sobieska-Karpinska, Marcin Hernes	The postulates of consensus determining in financial decision support systems.	FedCSIS	2013	DBLP BibTeX RDF
24	Tor Helleseth	Golomb's Randomness Postulates.	Encyclopedia of Cryptography and Security (2nd Ed.)	2011	DBLP DOI BibTeX RDF
24	Nikos Gorogiannis, Anthony Hunter	Instantiating abstract argumentation with classical logic arguments: Postulates and properties.	Artif. Intell.	2011	DBLP DOI BibTeX RDF
24	Marta Dynel	Revisiting Goffman's postulates on participant statuses in verbal interaction.	Lang. Linguistics Compass	2011	DBLP DOI BibTeX RDF
24	Rajeev Goré, Linda Postniece, Alwen Tiu	On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics	Log. Methods Comput. Sci.	2011	DBLP DOI BibTeX RDF
24	Alwen Tiu	On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics.	TABLEAUX (Workshops, Tutorials, and Short Papers)	2011	DBLP BibTeX RDF
24	John Grant, Sarit Kraus, Donald Perlis, Michael J. Wooldridge	Postulates for revising BDI structures.	Synth.	2010	DBLP DOI BibTeX RDF
24	Hajnal Andréka, Judit X. Madarász, István Németi, Gergely Székely	Axiomatizing Relativistic Dynamics without Conservation Postulates.	Stud Logica	2008	DBLP DOI BibTeX RDF	relativistic dynamics, equivalence of mass and energy, foundation of relativity, first-order logic, axiomatization
24	Victor J. Boucher	Intrinsic factors of cyclical motion in speech articulators: Reappraising postulates of serial-ordering in motor-control theories.	J. Phonetics	2008	DBLP DOI BibTeX RDF
24	Jerrald Meek	Analysis of the postulates produced by Karp's Theorem	CoRR	2008	DBLP BibTeX RDF
24	Ruslán Ledesma	Brief study of the relation between AGM postulates (-7) and (+7) under non-classical logics.	LA-NMR	2008	DBLP BibTeX RDF
24	Juan Carlos Acosta Guadarrama	AGM postulates in Answer Sets.	LA-NMR	2008	DBLP BibTeX RDF
24	Giorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou	On Generalizing the AGM Postulates.	STAIRS	2006	DBLP BibTeX RDF