Search results for "AGM"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
78	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
78	Yasuo Kudo, Tetsuya Murai, Tsutomu Da-te	The correspondence of belief changes in logical settings and the possibilistic framework.	KES (2)	1998	DBLP DOI BibTeX RDF
74	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
70	Andreas Herzig, Sébastien Konieczny, Laurent Perrussel	On Iterated Revision in the AGM Framework.	ECSQARU	2003	DBLP DOI BibTeX RDF
70	Pierrick Gaudry	A Comparison and a Combination of SST and AGM Algorithms for Counting Points of Elliptic Curves in Characteristic 2.	ASIACRYPT	2002	DBLP DOI BibTeX RDF
62	Guilin Qi, Weiru Liu, David A. Bell	Knowledge Base Revision in Description Logics.	JELIA	2006	DBLP DOI BibTeX RDF
59	Eleonora Cresto	A Model for Structural Changes of Belief.	Stud Logica	2008	DBLP DOI BibTeX RDF	Supervaluations, AGM-theory, Radical belief changes, Belief revision
59	Gabriele Kern-Isberner	Following Conditional Structures of Knowledge.	KI	1999	DBLP DOI BibTeX RDF	Ramsey test, ordinal conditional functions, iterated revision, AGM theory, Belief revision, conditionals
55	Giorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou	On Applying the AGM Theory to DLs and OWL.	ISWC	2005	DBLP DOI BibTeX RDF
47	Guido Boella, Gabriella Pigozzi, Leendert W. N. van der Torre	Normative framework for normative system change.	AAMAS (1)	2009	DBLP BibTeX RDF	input/output logic, norm change, belief revision, normative systems
47	Hiroshi Motoda	Pattern Discovery from Graph-Structured Data - A Data Mining Perspective.	IEA/AIE	2007	DBLP DOI BibTeX RDF
47	Natasha Alechina, Mark Jago, Brian Logan 0001	Resource-Bounded Belief Revision and Contraction.	DALT	2005	DBLP DOI BibTeX RDF
44	Alexander Jam Van Deursen, Jan Agm van Dijk	IQ and digital inequality: An empirical investigation.	New Media Soc.	2023	DBLP DOI BibTeX RDF
44	Md Shahidur Rahaman, Agm Islam, Tomás Cerný, Shaun Hutton	Static-Analysis-Based Solutions to Security Challenges in Cloud-Native Systems: Systematic Mapping Study.	Sensors	2023	DBLP DOI BibTeX RDF
44	Anique J. Scheerder, Alexander Jam Van Deursen, Jan Agm van Dijk	Internet use in the home: Digital inequality from a domestication perspective.	New Media Soc.	2019	DBLP DOI BibTeX RDF
44	Alexander Jam Van Deursen, Jan Agm van Dijk	The first-level digital divide shifts from inequalities in physical access to inequalities in material access.	New Media Soc.	2019	DBLP DOI BibTeX RDF
44	Reynald Lercier, David Lubicz	Counting Points on Elliptic Curves over Finite Fields of Small Characteristic in Quasi Quadratic Time.	EUROCRYPT	2003	DBLP DOI BibTeX RDF	canonical lifts, AGM, Elliptic curves
43	Raymond Lau 0001, 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
39	David R. Kohel	The AGM-X0(N) Heegner Point Lifting Algorithm and Elliptic Curve Point Counting.	ASIACRYPT	2003	DBLP DOI BibTeX RDF	modular curves, point counting, Elliptic curve cryptography
31	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
31	Yoshitaka Suzuki, Satoshi Tojo, Stijn De Saeger	Iterated Belief Revision in the Face of Uncertain Communication.	DALT	2008	DBLP DOI BibTeX RDF
31	Lei Xu 0005, Mohammed El-Hajjar, Osamah Alamri, Sheng Chen 0001, Lajos Hanzo	Iteratively Detected Sphere Packing Modulated OFDM: An Exit Chart Perspective.	ICC	2008	DBLP DOI BibTeX RDF
31	Maonian Wu, Mingyi Zhang	Maximal Invariable Update Operator Based on Splitting.	RSKT	2008	DBLP DOI BibTeX RDF	Splitting language, Maximal invariable, Belief change
31	Guillaume Aucher	A Combined System for Update Logic and Belief Revision.	PRIMA	2004	DBLP DOI BibTeX RDF
31	Gabriele Kern-Isberner	The Principle of Conditional Preservation in Belief Revision.	FoIKS	2002	DBLP DOI BibTeX RDF
31	Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti	Belief Revision and the Ramsey Test: A Solution.	AI*IA	2001	DBLP DOI BibTeX RDF
31	Oliver Schulte	Minimal Belief Change and Pareto-Optimality.	Australian Joint Conference on Artificial Intelligence	1999	DBLP DOI BibTeX RDF	decision theory, belief revision
31	Roderic A. Girle	Tableaux for Expansion and Contraction.	PRICAI	1996	DBLP DOI BibTeX RDF	belief revision, tableaux, paraconsistency
31	Wayne Wobcke	The representation of plans in rational agent architectures.	ANZIIS	1996	DBLP DOI BibTeX RDF
27	Richard Booth 0001, Samir Chopra, Aditya Ghose, Thomas Andreas Meyer	Belief Liberation (and Retraction).	Stud Logica	2005	DBLP DOI BibTeX RDF	AGM theory, withdrawal, Inclusion postulate, contraction, Belief revision
23	Sven Ove Hansson	A Basis for AGM Revision in Bayesian Probability Revision.	J. Philos. Log.	2023	DBLP DOI BibTeX RDF
23	Giacomo Bonanno	Characterization of AGM Belief Contraction in Terms of Conditionals.	TARK	2023	DBLP DOI BibTeX RDF
23	Kyoungmin Kim 0002, Jaehyun Ha, George Fletcher 0001, Wook-Shin Han	Guaranteeing the Õ(AGM/OUT) Runtime for Uniform Sampling and OUT Size Estimation over Joins.	CoRR	2023	DBLP DOI BibTeX RDF
23	Michael J. Griffin, Ken Ono, Neelam Saikia, Wei-Lun Tsai	AGM and Jellyfish Swarms of Elliptic Curves.	Am. Math. Mon.	2023	DBLP DOI BibTeX RDF
23	Balthazar Bauer, Pooya Farshim, Patrick Harasser, Markulf Kohlweiss	The Uber-Knowledge Assumption: A Bridge to the AGM.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
23	Sven Ove Hansson	Iterated AGM Revision Based on Probability Revision.	J. Log. Lang. Inf.	2023	DBLP DOI BibTeX RDF
23	Kyoungmin Kim 0002, Jaehyun Ha, George Fletcher 0001, Wook-Shin Han	Guaranteeing the Õ(AGM/OUT) Runtime for Uniform Sampling and Size Estimation over Joins.	PODS	2023	DBLP DOI BibTeX RDF
23	Jia-Chng Loh, Fuchun Guo, Willy Susilo, Guomin Yang	A Tightly Secure ID-Based Signature Scheme Under DL Assumption in AGM.	ACISP	2023	DBLP DOI BibTeX RDF
23	Clayton K. Baker	Predictive Modelling of Human Reasoning Using AGM Belief Revision.	IJCAI	2023	DBLP DOI BibTeX RDF
23	Shiyao Huang, Tao Wang 0011, Gongpei Zhao, Yidong Li	AGM: Adaptive Graph Enhanced Graph Matching for Planar Tracking.	PAAP	2023	DBLP DOI BibTeX RDF
23	Juliano Maranhão, Giovanni Casini, Gabriella Pigozzi, Leendert van der Torre	Normative Change: An AGM Approach.	FLAP	2022	DBLP BibTeX RDF
23	Krzysztof Mierzewski	Probabilistic stability, AGM Revision operators and Maximum Entropy.	Rev. Symb. Log.	2022	DBLP DOI BibTeX RDF
23	Marlo Souza	On AGM Belief Revision for Computational Tree Logic.	BRACIS (1)	2022	DBLP DOI BibTeX RDF
23	Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald	Semantic Characterizations of AGM Revision for Tarskian Logics.	RuleML+RR	2022	DBLP DOI BibTeX RDF
23	Faiq Miftakhul Falakh, Sebastian Rudolph	AGM Revision in Description Logics Under Fixed-Domain Semantics.	Description Logics	2022	DBLP BibTeX RDF
23	Nadiia P. Kozachenko	Modelling of AGM-style doxastic operations in three-valued setting.	CoSinE	2022	DBLP BibTeX RDF
23	Davide Fazio, Michele Pra Baldi	On a Logico-Algebraic Approach to AGM Belief Contraction Theory.	J. Philos. Log.	2021	DBLP DOI BibTeX RDF
23	Adrian Haret, Johannes Peter Wallner	An AGM Approach to Revising Preferences.	CoRR	2021	DBLP BibTeX RDF
23	Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald	A General Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics.	CoRR	2021	DBLP BibTeX RDF
23	Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald	A Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics (Preliminary Report).	FCR@KI	2021	DBLP BibTeX RDF
23	R. Niranjana, V. Anil Kumar, Shina Sheen	Darknet Traffic Analysis and Classification Using Numerical AGM and Mean Shift Clustering Algorithm.	SN Comput. Sci.	2020	DBLP DOI BibTeX RDF
23	Liyan Sun, Guixia Liu, Rongquan Wang	SHEIB-AGM: A Novel Stochastic Approach for Detecting High-Order Epistatic Interactions Using Bioinformation With Automatic Gene Matrix in Genome-Wide Association Studies.	IEEE Access	2020	DBLP DOI BibTeX RDF
23	Ruping Zou, Shichao Chen, Ming Liu 0012	A Missile-Borne Computer Design Method for AGM with Multiple-Type Warheads.	ICSPCC	2020	DBLP DOI BibTeX RDF
23	Stefan Schwimmbeck, Martin Baumann 0006, Hans-Georg Herzog	State of Charge Degradation of AGM Starter Batteries in Automotive Power Nets.	EVER	2020	DBLP DOI BibTeX RDF
23	Pathikrit Basu	Bayesian updating rules and AGM belief revision.	J. Econ. Theory	2019	DBLP DOI BibTeX RDF
23	Paulo T. Guerra, Renata Wassermann	Two AGM-style characterizations of model repair.	Ann. Math. Artif. Intell.	2019	DBLP DOI BibTeX RDF
23	Zhiqiang Zhuang, Zhe Wang 0001, Kewen Wang 0001, James P. Delgrande	A Generalisation of AGM Contraction and Revision to Fragments of First-Order Logic.	J. Artif. Intell. Res.	2019	DBLP DOI BibTeX RDF
23	Alexandru Baltag, Aybüke Özgün, Ana Lucia Vargas Sandoval	The Logic of AGM Learning from Partial Observations.	DaLí	2019	DBLP DOI BibTeX RDF
23	Ringo Baumann, Felix Linker	AGM Meets Abstract Argumentation: Contraction for Dung Frameworks.	JELIA	2019	DBLP DOI BibTeX RDF
23	Navid Balazadeh Meresht, D. D. Ganji	Analytical scrutiny of nonlinear equation of hypocycloid motion by AGM.	Neural Comput. Appl.	2018	DBLP DOI BibTeX RDF
23	Rodolphe Marion, Véronique Carrère	Mineral Mapping Using the Automatized Gaussian Model (AGM) - Application to Two Industrial French Sites at Gardanne and Thann.	Remote. Sens.	2018	DBLP DOI BibTeX RDF
23	Paulo T. Guerra, Renata Wassermann	Two AGM-Style Characterizations of Model Repair.	KR	2018	DBLP BibTeX RDF
23	M. R. Akbari, Mohammad Nimafar, D. D. Ganji, H. Karimi Chalmiani	Investigation on non-linear vibration in arched beam for bridges construction via AGM method.	Appl. Math. Comput.	2017	DBLP DOI BibTeX RDF
23	Sven Ove Hansson	AGM contraction is not reconstructible as a descriptor operation.	J. Log. Comput.	2017	DBLP DOI BibTeX RDF
23	Rafael R. Testa, Marcelo E. Coniglio, Márcio Moretto Ribeiro	AGM-like paraconsistent belief change.	Log. J. IGPL	2017	DBLP DOI BibTeX RDF
23	Marc van Zee, Dragan Doder	AGM-Style Revision of Beliefs and Intentions from a Database Perspective (Preliminary Version).	CoRR	2016	DBLP BibTeX RDF
23	Guido Boella, Gabriella Pigozzi, Leon van der Torre	AGM Contraction and Revision of Rules.	J. Log. Lang. Inf.	2016	DBLP DOI BibTeX RDF
23	Hua Meng, Yayan Yuan, Jielei Chu, Hongjun Wang 0002	AGM信念收缩算子的拓扑式刻画 (Topological Characterization of AGM Belief Contraction Operator).	计算机科学	2016	DBLP DOI BibTeX RDF
23	Giacomo Bonanno	AGM-consistency and perfect Bayesian equilibrium. Part II: from PBE to sequential equilibrium.	Int. J. Game Theory	2016	DBLP DOI BibTeX RDF
23	Marc van Zee, Dragan Doder	AGM-Style Revision of Beliefs and Intentions.	ECAI	2016	DBLP DOI BibTeX RDF
23	Zhiqiang Zhuang, James P. Delgrande, Abhaya C. Nayak, Abdul Sattar 0001	Reconsidering AGM-Style Belief Revision in the Context of Logic Programs.	ECAI	2016	DBLP DOI BibTeX RDF
23	Aaron Hunter 0001, Eric Tsang	GenB: A General Solver for AGM Revision.	JELIA	2016	DBLP DOI BibTeX RDF
23	Sven Ove Hansson	A Monoselective Presentation of AGM Revision.	Stud Logica	2015	DBLP DOI BibTeX RDF
23	Thomas J. Osler	A Product of Nested Radicals for the AGM.	Am. Math. Mon.	2015	DBLP DOI BibTeX RDF
23	Marc van Zee, Dragan Doder, Mehdi Dastani, Leendert W. N. van der Torre	AGM Revision of Beliefs about Action and Time.	IJCAI	2015	DBLP BibTeX RDF
23	Ringo Baumann, Gerhard Brewka	AGM Meets Abstract Argumentation: Expansion and Revision for Dung Frameworks.	IJCAI	2015	DBLP BibTeX RDF
23	Zhiqiang Zhuang, Zhe Wang 0001, Kewen Wang 0001, James P. Delgrande	Extending AGM Contraction to Arbitrary Logics.	IJCAI	2015	DBLP BibTeX RDF
23	Sven Ove Hansson	Decomposition of multiple AGM contraction: possibility and impossibility results.	Log. J. IGPL	2014	DBLP DOI BibTeX RDF
23	Márcio Moretto Ribeiro, Renata Wassermann	Minimal Change in AGM Revision for Non-Classical Logics.	KR	2014	DBLP BibTeX RDF
23	Till Grüne-Yanoff	Preference change and conservatism: comparing the Bayesian and the AGM models of preference revision.	Synth.	2013	DBLP DOI BibTeX RDF
23	Giacomo Bonanno	AGM-consistency and perfect Bayesian equilibrium. Part I: definition and properties.	Int. J. Game Theory	2013	DBLP DOI BibTeX RDF
23	James P. Delgrande, Pavlos Peppas, Stefan Woltran	AGM-Style Belief Revision of Logic Programs under Answer Set Semantics.	LPNMR	2013	DBLP DOI BibTeX RDF
23	Giacomo Bonanno	Belief Change in Branching Time: AGM-consistency and Iterated Revision.	J. Philos. Log.	2012	DBLP DOI BibTeX RDF
23	Peter Gärdenfors	Notes on the History of Ideas Behind AGM.	J. Philos. Log.	2011	DBLP DOI BibTeX RDF
23	Eduardo L. Fermé, Sven Ove Hansson	AGM 25 Years - Twenty-Five Years of Research in Belief Change.	J. Philos. Log.	2011	DBLP DOI BibTeX RDF
23	Eduardo L. Fermé, Sven Ove Hansson	Editorial Introduction - 25 Years of AGM Theory.	J. Philos. Log.	2011	DBLP DOI BibTeX RDF
23	Hans Rott	Reapproaching Ramsey: Conditionals and Iterated Belief Change in the Spirit of AGM.	J. Philos. Log.	2011	DBLP DOI BibTeX RDF
23	Renata Wassermann	On AGM for Non-Classical Logics.	J. Philos. Log.	2011	DBLP DOI BibTeX RDF
23	Jianbing Ma, Weiru Liu, Didier Dubois, Henri Prade	Bridging Jeffrey's Rule, AGM Revision and Dempster Conditioning in the Theory of Evidence.	Int. J. Artif. Intell. Tools	2011	DBLP DOI BibTeX RDF
23	Régis Dupont	Fast evaluation of modular functions using Newton iterations and the AGM.	Math. Comput.	2011	DBLP DOI BibTeX RDF
23	Raúl Carnota, Ricardo Rodriguez	AGM Theory and Artificial Intelligence.	Belief Revision meets Philosophy of Science	2011	DBLP DOI BibTeX RDF
23	Giacomo Bonanno	AGM belief revision in dynamic games.	TARK	2011	DBLP DOI BibTeX RDF
23	John Grant, Francesco Parisi, Austin Parker, V. S. Subrahmanian	An AGM-style belief revision mechanism for probabilistic spatio-temporal logics.	Artif. Intell.	2010	DBLP DOI BibTeX RDF
23	Guillaume Aucher	Generalizing AGM to a multi-agent setting.	Log. J. IGPL	2010	DBLP DOI BibTeX RDF
23	Giacomo Bonanno	Rational choice and AGM belief revision.	Artif. Intell.	2009	DBLP DOI BibTeX RDF
23	Mihály Bencze, Julien Grivaux	More AGM Inequalities: 11347 [2008, 167].	Am. Math. Mon.	2009	DBLP BibTeX RDF
23	Seiji Fujino, Kazunori Somehara	Parallel preconditioning technique based on AGM (Arithmetic-Geometric Mean) of eigenvalues without sequential substitution computation.	HPCS	2009	DBLP DOI BibTeX RDF
23	Austin Parker, Guillaume Infantes, V. S. Subrahmanian, John Grant	An AGM-Based Belief Revision Mechanism for Probabilistic Spatio-Temporal Logics.	AAAI	2008	DBLP BibTeX RDF
23	Ruslán Ledesma	Brief study of the relation between AGM postulates (-7) and (+7) under non-classical logics.	LA-NMR	2008	DBLP BibTeX RDF
23	Juan Carlos Acosta Guadarrama	AGM postulates in Answer Sets.	LA-NMR	2008	DBLP BibTeX RDF