Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
61 | Brian Hill |
Towards a "Sophisticated" Model of Belief Dynamics. Part II: Belief Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 89(3), pp. 291-323, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: Proceedings of 18th International Conference of the Chilean Computer Science Society (SCCC '98), November 12-14, 1998, Antofagasta, Chile, pp. 96-105, 1998, IEEE Computer Society, 0-8186-8616-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
49 | Andreas Blass, Yuri Gurevich |
Abstract state machines capture parallel algorithms: Correction and extension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 9(3), pp. 19:1-19:32, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoIKS ![In: Foundations of Information and Knowledge Systems, Third International Symposium, FoIKS 2004, Wilhelminenberg Castle, Austria, February 17-20, 2004, Proceedings, pp. 231-241, 2004, Springer, 3-540-20965-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 7th European Conference, ECSQARU 2003, Aalborg, Denmark, July 2-5, 2003. Proceedings, pp. 477-488, 2003, Springer, 3-540-40494-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
49 | Richard Booth 0001 |
On the Logic of Iterated Non-prioritised Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCII ![In: Conditionals, Information, and Inference, International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers, pp. 86-107, 2002, Springer, 978-3-540-25332-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
37 | Andreas Blass, Yuri Gurevich |
Ordinary interactive small-step algorithms, II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 8(3), pp. 15, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 7(2), pp. 363-419, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 165(2), pp. 159-177, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings, pp. 386-398, 2006, Springer, 3-540-39625-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Natasha Alechina, Mark Jago, Brian Logan 0001 |
Resource-Bounded Belief Revision and Contraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DALT ![In: Declarative Agent Languages and Technologies III, Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers, pp. 141-154, 2005, Springer, 3-540-33106-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
36 | Oliver Schulte |
Minimal Belief Change and Pareto-Optimality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Joint Conference on Artificial Intelligence ![In: Advanced Topics in Artificial Intelligence, 12th Australian Joint Conference on Artificial Intelligence, AI '99, Sydney, Australia, December 6-10, 1999, Proceedings, pp. 144-155, 1999, Springer, 3-540-66822-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
decision theory, belief revision |
36 | Stefan Wrobel |
On the Proper Definition of Minimality in Specialization and Theory Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML ![In: Machine Learning: ECML-93, European Conference on Machine Learning, Vienna, Austria, April 5-7, 1993, Proceedings, pp. 65-82, 1993, Springer, 3-540-56602-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
36 | João Falcão e Cunha |
Simplifying and Correcting the Treatment of Intentionality in Montague Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAIA ![In: Natural Language Processing, EAIA '90, 2nd Advanced School in Artificial Intelligence, Guarda, Portugal, October 8-12, 1990, Proceedings, pp. 185-205, 1990, Springer, 3-540-53678-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
36 | Henri Prade, Gilles Richard |
Analogy, Paralogy and Reverse Analogy: Postulates and Inferences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2009: Advances in Artificial Intelligence, 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings, pp. 306-314, 2009, Springer, 978-3-642-04616-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
36 | Carlos Periñán-Pascual, Francisco Arcas-Túnez |
Meaning Postulates in a Lexico-Conceptual Knowledge Base. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 15th International Workshop on Database and Expert Systems Applications (DEXA 2004), with CD-ROM, 30 August - 3 September 2004, Zaragoza, Spain, pp. 38-42, 2004, IEEE Computer Society, 0-7695-2195-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Cees Witteveen, Wiebe van der Hoek |
Some postulates for Nonmonotonic Theory Revision Applied to Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELP ![In: Extensions of Logic Programming, 5th International Workshop, ELP'96, Leipzig, Germany, March 28-30, 1996, Proceedings, pp. 303-318, 1996, Springer, 3-540-60983-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
24 | Brian Hill |
Towards a "Sophisticated" Model of Belief Dynamics. Part I: The General Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 89(1), pp. 81-109, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 8(3), pp. 16, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 4(4), pp. 578-651, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISICT ![In: Proceedings of the 1st Intenational Symposium on Information and Communication Technologies, Dublin, Ireland, September 24-26, 2003, pp. 351-356, 2003, Trinity College Dublin. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Workshop, JELIA '94, York, UK, September 5-8, 1994, Proceedings, pp. 66-85, 1994, Springer, 3-540-58332-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Transl. ![In: Mach. Transl. 5(1), pp. 57-78, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 30(8), pp. 609-613, 1981. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Parallel Databases ![In: Distributed Parallel Databases 26(1), pp. 67-126, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FQAS ![In: Flexible Query Answering Systems, 8th International Conference, FQAS 2009, Roskilde, Denmark, October 26-28, 2009. Proceedings, pp. 64-75, 2009, Springer, 978-3-642-04956-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Guilin Qi, Qiu Ji, Peter Haase 0001 |
A Conflict-Based Operator for Mapping Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2009, 8th International Semantic Web Conference, ISWC 2009, Chantilly, VA, USA, October 25-29, 2009. Proceedings, pp. 521-536, 2009, Springer, 978-3-642-04929-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Rajeev Goré, Linda Postniece, Alwen Tiu |
Taming Displayed Tense Logics Using Nested Sequents with Deep Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings, pp. 189-204, 2009, Springer, 978-3-642-02715-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Yoshitaka Suzuki, Satoshi Tojo, Stijn De Saeger |
Iterated Belief Revision in the Face of Uncertain Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DALT ![In: Declarative Agent Languages and Technologies VI, 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers, pp. 179-196, 2008, Springer, 978-3-540-93919-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSCC ![In: Proceedings of the 3rd IEEE Asia-Pacific Services Computing Conference, APSCC 2008, Yilan, Taiwan, 9-12 December 2008, pp. 1019-1023, 2008, IEEE Computer Society, 978-0-7695-3473-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Trong Hieu Tran, Ngoc Thanh Nguyen 0001 |
Integration of Knowledge in Disjunctive Structure on Semantic Level. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (1) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part I, pp. 253-261, 2008, Springer, 978-3-540-85562-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES-AMSTA ![In: Agent and Multi-Agent Systems: Technologies and Applications, Second KES International Symposium, KES-AMSTA 2008, Incheon, Korea, March 26-28, 2008. Proceedings, pp. 703-712, 2008, Springer, 978-3-540-78581-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
multi-agent system, knowledge integration, consensus theory |
24 | Nikos Gorogiannis, Anthony Hunter |
Merging First-Order Knowledge Using Dilation Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoIKS ![In: Foundations of Information and Knowledge Systems, 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings, pp. 132-150, 2008, Springer, 978-3-540-77683-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 53(9), pp. 3233-3239, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Grzegorz Protaziuk, Henryk Rybinski |
Discovering Association Rules in Incomplete Transactional Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Rough Sets ![In: Trans. Rough Sets 6, pp. 308-328, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
association rules, frequent itemsets, incompleteness, transactional data |
24 | Sumit Nain, Moshe Y. Vardi |
Branching vs. Linear Time: Semantical Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007, Proceedings, pp. 19-34, 2007, Springer, 978-3-540-75595-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Zhi Qiang Zhuang, Maurice Pagnucco, Thomas Meyer 0002 |
Implementing Iterated Belief Change Via Prime Implicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Conference on Artificial Intelligence ![In: AI 2007: Advances in Artificial Intelligence, 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007, Proceedings, pp. 507-518, 2007, Springer, 978-3-540-76926-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Mohua Banerjee, Pankaj Singh |
Rough Contraction Through Partial Meets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PReMI ![In: Pattern Recognition and Machine Intelligence, First International Conference, PReMI 2005, Kolkata, India, December 20-22, 2005, Proceedings, pp. 726-731, 2005, Springer, 3-540-30506-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Jerusa Marchi, Guilherme Bittencourt, Laurent Perrussel |
A Syntactical Approach to Belief Update. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2005: Advances in Artificial Intelligence, 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2005, Proceedings, pp. 142-151, 2005, Springer, 3-540-29896-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Ngoc Thanh Nguyen 0001, Michal Malowiecki |
Consistency Measures for Conflict Profiles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Rough Sets ![In: Transactions on Rough Sets I, pp. 169-186, 2004, Springer, 3-540-22374-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Pei Yang, Yang Gao 0001, Zhaoqian Chen, Shifu Chen |
Believability Based Iterated Belief Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI 2004: Trends in Artificial Intelligence, 8th Pacific Rim International Conference on Artificial Intelligence, Auckland, New Zealand, August 9-13, 2004, Proceedings, pp. 936-937, 2004, Springer, 3-540-22817-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Erich Grädel, Antje Nowack |
Quantum Computing and Abstract State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings, pp. 309-323, 2003, Springer, 3-540-00624-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Wayne Wobcke |
Intention and Rationality for PRS-Like Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Joint Conference on Artificial Intelligence ![In: AI 2002: Advances in Artificial Intelligence, 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2-6, 2002, Proceedings, pp. 167-178, 2002, Springer, 3-540-00197-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Isabelle Bloch, Ramón Pino Pérez, Carlos Uzcátegui |
Explanatory Relations Based on Mathematical Morphology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001, Proceedings, pp. 736-747, 2001, Springer, 3-540-42464-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti |
Belief Revision and the Ramsey Test: A Solution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI*IA ![In: AI*IA 2001: Advances in Artificial Intelligence, 7th Congress of the Italian Association for Artificial Intelligence, Bari, Italy, September 25-28, 2001, Proceedings, pp. 165-175, 2001, Springer, 3-540-42601-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Thomas Andreas Meyer |
Basic Infobase Change. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Joint Conference on Artificial Intelligence ![In: Advanced Topics in Artificial Intelligence, 12th Australian Joint Conference on Artificial Intelligence, AI '99, Sydney, Australia, December 6-10, 1999, Proceedings, pp. 156-167, 1999, Springer, 3-540-66822-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
24 | Laks V. S. Lakshmanan, Nicola Leone, Robert B. Ross, V. S. Subrahmanian |
ProbView: A Flexible Probabilistic Database System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 22(3), pp. 419-469, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
probabilistic databases, view maintenance |
24 | Arash Abizadeh, Adrian Vetta |
The blocker postulates for measures of voting power. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soc. Choice Welf. ![In: Soc. Choice Welf. 60(4), pp. 595-623, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Clayton Kevin Baker, Thomas Meyer 0002 |
Do Humans Find Postulates of Belief Change Plausible? ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 10(2), pp. 249-267, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.18714, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.05392, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Artur Krawczyk |
Proposal of Redefinition of the Terms Geomatics and Geoinformatics on the Basis of Terminological Postulates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPRS Int. J. Geo Inf. ![In: ISPRS Int. J. Geo Inf. 11(11), pp. 557, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | John Grant, Francesco Parisi |
General information spaces: measuring inconsistency, rationality postulates, and complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 90(2-3), pp. 235-269, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Kai Sauerwald |
Semantics of Belief Change Operators for Intelligent Agents: Iteration, Postulates, and Realizability ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
DOI RDF |
|
24 | Huber Nieto-Chaupis |
The Machine Learning Principles Based at the Quantum Mechanics Postulates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAI (1) ![In: Intelligent Computing - Proceedings of the 2022 Computing Conference, Volume 1, SAI 2022, Virtual Event, 14-15 July 2022, pp. 394-403, 2022, Springer, 978-3-031-10460-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Clayton K. Baker, Thomas Andreas Meyer |
Asking Human Reasoners to Judge Postulates of Belief Change for Plausibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022., pp. 139-142, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, Vienna, Austria, 23-29 July 2022., pp. 5742-5746, 2022, ijcai.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 872, pp. 15-40, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | John Grant, Maria Vanina Martinez, Cristian Molinaro, Francesco Parisi |
Dimensional Inconsistency Measures and Postulates in Spatio-Temporal Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Artif. Intell. Res. ![In: J. Artif. Intell. Res. 71, pp. 733-780, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2101.01676, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
24 | Arash Abizadeh, Adrian Vetta |
A Recursive Measure of Voting Power that Satisfies Reasonable Postulates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2105.03006, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
24 | John H. Selby, Carlo Maria Scandolo, Bob Coecke |
Reconstructing quantum theory from diagrammatic postulates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum ![In: Quantum 5, pp. 445, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Rafael Silva, João F. L. Alcântara |
ASPIC ? and the Postulates of Non-interference and Crash-Resistance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BRACIS (1) ![In: Intelligent Systems - 10th Brazilian Conference, BRACIS 2021, Virtual Event, November 29 - December 3, 2021, Proceedings, Part I, pp. 328-343, 2021, Springer, 978-3-030-91701-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021, pp. 6435-6443, 2021, AAAI Press, 978-1-57735-866-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IntelliSys (1) ![In: Intelligent Systems and Applications - Proceedings of the 2021 Intelligent Systems Conference, IntelliSys 2021, Amsterdam, The Netherlands, 2-3 September, 2021, Volume 1, pp. 700-718, 2021, Springer, 978-3-030-82192-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Theo A. F. Kuipers |
Refined nomic truth approximation by revising models and postulates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 197(4), pp. 1601-1625, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020., pp. 560-571, 2020, 978-0-9992411-7-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 21(5), pp. 493, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 62(1), pp. 1-68, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Clust. Comput. ![In: Clust. Comput. 22(Suppl 1), pp. 57-63, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 20(10), pp. 802, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Jérôme Delobelle, Sébastien Konieczny, Srdjan Vesic |
On the aggregation of argumentation frameworks: operators and postulates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 28(7), pp. 1671-1699, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Matthias Thimm |
On the Compliance of Rationality Postulates for Inconsistency Measures: A More or Less Complete Picture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Künstliche Intell. ![In: Künstliche Intell. 31(1), pp. 31-39, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Philippe Besnard |
Basic Postulates for Inconsistency Measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Large Scale Data Knowl. Centered Syst. ![In: Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV - Special Issue on Consistency and Inconsistency in Data-Centric Applications, pp. 1-12, 2017, Springer, 978-3-662-55946-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Martin Caminada |
Rationality Postulates: Applying Argumentation Theory for Non-monotonic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 4(8), 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
24 | Marcos Cramer, Giovanni Casini |
Postulates for Revocation Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POST ![In: Principles of Security and Trust - 6th International Conference, POST 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, pp. 232-252, 2017, Springer, 978-3-662-54454-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Srdjan Stankovic, Irena Orovic |
Cognitive inspired learning based on the compressive sensing postulates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MECO ![In: 6th Mediterranean Conference on Embedded Computing, MECO 2017, Bar, Montenegro, June 11-15, 2017, pp. 1-5, 2017, IEEE, 978-1-5090-6742-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Theo A. F. Kuipers |
Models, postulates, and generalized nomic truth approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 193(10), pp. 3057-3077, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Haodi Zhang, Fangzhen Lin |
Mapping Action Language BC to Logic Programs: A Characterization by Postulates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA., pp. 1116-1123, 2016, AAAI Press, 978-1-57735-760-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Adrian Haret, Andreas Pfandler, Stefan Woltran |
Beyond IC Postulates: Classification Criteria for Merging Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016), pp. 372-380, 2016, IOS Press, 978-1-61499-671-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Henry Prakken |
Rethinking the Rationality Postulates for Argumentation-Based Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMMA ![In: Computational Models of Argument - Proceedings of COMMA 2016, Potsdam, Germany, 12-16 September, 2016., pp. 419-430, 2016, IOS Press, 978-1-61499-685-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Özgür Lütfü Özçep |
Minimality Postulates for Ontology Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016., pp. 589-592, 2016, AAAI Press, 978-1-57735-755-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
24 | Glauber De Bona, Marcelo Finger |
Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 227, pp. 140-164, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Jianmin Ji, Jia-Huai You, Yisong Wang |
On Forgetting Postulates in Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, pp. 3076-3083, 2015, AAAI Press, 978-1-57735-738-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
24 | Leila Amgoud |
Postulates for logic-based argumentation systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 55(9), pp. 2028-2048, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Philippe Besnard |
Revisiting Postulates for Inconsistency Measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, pp. 383-396, 2014, Springer, 978-3-319-11557-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Eva Carolina Pataki, Andras Sagi, Jozef Kabok |
A contemporary approach to postulates of consumer behavior models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SISY ![In: IEEE 12th International Symposium on Intelligent Systems and Informatics, SISY 2014, Subotica, Serbia, September 11-13, 2014, pp. 267-271, 2014, IEEE, 978-1-4799-5996-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Jadwiga Sobieska-Karpinska, Marcin Hernes |
The postulates of consensus determining in financial decision support systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FedCSIS ![In: Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, Kraków, Poland, September 8-11, 2013., pp. 1153-1156, 2013, 978-1-4673-4471-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
24 | Tor Helleseth |
Golomb's Randomness Postulates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Cryptography and Security (2nd Ed.) ![In: Encyclopedia of Cryptography and Security, 2nd Ed., pp. 516-517, 2011, Springer, 978-1-4419-5905-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Nikos Gorogiannis, Anthony Hunter |
Instantiating abstract argumentation with classical logic arguments: Postulates and properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 175(9-10), pp. 1479-1497, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Marta Dynel |
Revisiting Goffman's postulates on participant statuses in verbal interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lang. Linguistics Compass ![In: Lang. Linguistics Compass 5(7), pp. 454-465, 2011. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 7(2), 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Alwen Tiu |
On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX (Workshops, Tutorials, and Short Papers) ![In: TABLEAUX 2011 - Workshops, Tutorials, and Short Papers, Bern, Switzerland, July 4-8, 2011, pp. 76, 2011, University of Bern. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
24 | John Grant, Sarit Kraus, Donald Perlis, Michael J. Wooldridge |
Postulates for revising BDI structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 175(Supplement-1), pp. 39-62, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 89(2), pp. 163-186, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Phonetics ![In: J. Phonetics 36(2), pp. 295-307, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Jerrald Meek |
Analysis of the postulates produced by Karp's Theorem ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0808.3222, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
24 | Ruslán Ledesma |
Brief study of the relation between AGM postulates (-7) and (+7) under non-classical logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LA-NMR ![In: Proceedings of the fourth Latin American Workshop on Non-Monotonic Reasoning 2008 (LANMR'08) Facultad de Ciencias de la Computación de la Benemérita Universidad Autónoma de Puebla, Puebla, México, October 22-24, 2008, 2008, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
24 | Juan Carlos Acosta Guadarrama |
AGM postulates in Answer Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LA-NMR ![In: Proceedings of the fourth Latin American Workshop on Non-Monotonic Reasoning 2008 (LANMR'08) Facultad de Ciencias de la Computación de la Benemérita Universidad Autónoma de Puebla, Puebla, México, October 22-24, 2008, 2008, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
24 | Giorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou |
On Generalizing the AGM Postulates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAIRS ![In: STAIRS 2006 - Proceedings of the Third Starting AI Researchers' Symposium, Riva del Garda, Trentino, Italy, 2006, pp. 132-143, 2006, IOS Press, 978-1-58603-645-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|