Search results for "non-monotonicity"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
51	Gustavo Adrian Bodanza, Fernando A. Tohmé	Local Logics, Non-Monotonicity and Defeasible Argumentation.	J. Log. Lang. Inf.	2005	DBLP DOI BibTeX RDF	local logics, non-monotonicity, Defeasible argumentation
33	Yuting Zhao, Fangzhen Lin	Answer Set Programming Phase Transition: A Study on Randomly Generated Programs.	ICLP	2003	DBLP DOI BibTeX RDF
31	Philippe Lamarre	A Promenade from Monotonicity to Non-Monotonicity Following a Theorem Prover.	KR	1992	DBLP BibTeX RDF
30	Christian Schulte 0001, Guido Tack	Weakly Monotonic Propagators.	CP	2009	DBLP DOI BibTeX RDF
29	Stan Z. Li, Long Zhu, ZhenQiu Zhang, Andrew Blake 0001, HongJiang Zhang, Harry Shum	Statistical Learning of Multi-view Face Detection.	ECCV (4)	2002	DBLP DOI BibTeX RDF
24	Ninghui Li, Joan Feigenbaum, Benjamin N. Grosof	A Logic-based Knowledge Representation for Authorization with Delegation.	CSFW	1999	DBLP DOI BibTeX RDF	non-monotonicity, conflict handling, knowledge representation, logic programs, Authorization, security policy, trust management, delegation
21	Rohit Parikh	Some Puzzles About Probability and Probabilistic Conditionals.	LFCS	2007	DBLP DOI BibTeX RDF
21	Jose M. Peña 0001	On the Non-Monotonicity of a Non-Differentially Mismeasured Binary Confounder.	CoRR	2021	DBLP BibTeX RDF
19	Lindsay Groves	Practical Data Refinement for the Z Schema Calculus.	ZB	2005	DBLP DOI BibTeX RDF
18	Alexandru Baltag, Sonja Smets	A Dynamic-Logical Perspective on Quantum Behavior.	Stud Logica	2008	DBLP DOI BibTeX RDF	Dynamic Quantum Logic, Philosophy of Quantum Information, Logical Dynamics, Dynamic Epistemic Logic
17	Jingfeng Wu, Peter L. Bartlett, Matus Telgarsky, Bin Yu	Large Stepsize Gradient Descent for Logistic Loss: Non-Monotonicity of the Loss Improves Optimization Efficiency.	CoRR	2024	DBLP DOI BibTeX RDF
17	Ivan A. Starkov, D. A. Pavlov, Sergey Tikhomirov, Fedor Bakharev	The non-monotonicity of growth rate of viscous fingers in heterogeneous porous media.	CoRR	2023	DBLP DOI BibTeX RDF
17	Johannes Klaus Fichte, Markus Hecher, Stefan Szeider	Inconsistent Cores for ASP: The Perks and Perils of Non-monotonicity.	AAAI	2023	DBLP DOI BibTeX RDF
17	Ziyun Chen, Zhiyi Huang 0002, Dorsa Majdi, Zipeng Yan	Strong Revenue (Non-)Monotonicity of Single-parameter Auctions.	EC	2023	DBLP DOI BibTeX RDF
17	Zhiyi Huang 0002, Dorsa Majdi, Zipeng Yan	Strong Revenue (Non-)Monotonicity of Single-parameter Auctions.	CoRR	2022	DBLP DOI BibTeX RDF
17	Umut Keskin, M. Remzi Sanver, H. Berkay Tosunlu	Recovering non-monotonicity problems of voting rules.	Soc. Choice Welf.	2021	DBLP DOI BibTeX RDF
17	Cristina Barés Gómez, Matthieu Fontaine	Defeasibility and Non-monotonicity in Dialogues.	FLAP	2021	DBLP BibTeX RDF
17	Resve A. Saleh, A. K. Md. Ehsanes Saleh	Solution to the Non-Monotonicity and Crossing Problems in Quantile Regression.	CoRR	2021	DBLP BibTeX RDF
17	Zhenhao Cai, Yunfeng Xiong, Yuan Zhang	On (Non-)Monotonicity and Phase Diagram of Finitary Random Interlacement.	Entropy	2021	DBLP DOI BibTeX RDF
17	Hiroyuki Kido 0001, Keishi Okamoto	Bayes Meets Entailment and Prediction: Commonsense Reasoning with Non-monotonicity, Paraconsistency and Predictive Accuracy.	CoRR	2020	DBLP BibTeX RDF
17	Nourhan Ehab, Haythem O. Ismail	A Unified Algebraic Framework for Non-Monotonicity.	TARK	2019	DBLP DOI BibTeX RDF
17	Paul S. Rosenbloom	(A)symmetry × (Non)monotonicity: Towards a Deeper Understanding of Key Cognitive Di/Trichotomies and the Common Model of Cognition.	CogSci	2019	DBLP BibTeX RDF
17	Narendra Patwardhan, Madhura Ingalhalikar, Rahee Walambe	ARiA: Utilizing Richard's Curve for Controlling the Non-monotonicity of the Activation Function in Deep Neural Nets.	CoRR	2018	DBLP BibTeX RDF
17	Ali Aydin Selçuk	On Non-Monotonicity of the Success Probability in Linear Cryptanalysis.	IACR Cryptol. ePrint Arch.	2018	DBLP BibTeX RDF
17	Nourhan Ehab, Haythem O. Ismail	Towards a Unified Algebraic Framework for Non-Monotonicity.	DKB/KIK@KI	2018	DBLP BibTeX RDF
17	Kousuke Izumiya, Masaharu Munetomo	Introducing a linkage identification considering non-monotonicity to multi-objective evolutionary optimization with decomposition for real-valued functions.	GECCO (Companion)	2018	DBLP DOI BibTeX RDF
17	Meng Yang 0002, Nanning Zheng 0001, Ce Zhu, Fei Wang 0008	A Novel Method of Minimizing View Synthesis Distortion Based on Its Non-Monotonicity in 3D Video.	IEEE Trans. Image Process.	2017	DBLP DOI BibTeX RDF
17	Xueyan Zhao, Feiqi Deng	Non-monotonicity of Lyapunov functions for functional differential equations with enlightenments for related research methods.	Int. J. Syst. Sci.	2016	DBLP DOI BibTeX RDF
17	Norbert E. Fuchs	Reasoning in Attempto Controlled English: Non-monotonicity.	CNL	2016	DBLP DOI BibTeX RDF
17	Yijie Peng, Chun-Hung Chen, Michael C. Fu 0001, Jian-Qiang Hu	Non-monotonicity of probability of correct selection.	WSC	2015	DBLP DOI BibTeX RDF
17	Benjamin N. Grosof	Non-Monotonicity in Probabilistic Reasoning	CoRR	2013	DBLP BibTeX RDF
17	Bernhard Moser 0001, Gernot Stübl, Jean-Luc Bouchot	On a Non-monotonicity Effect of Similarity Measures.	SIMBAD	2011	DBLP DOI BibTeX RDF
17	Yair Tauman, Andriy Zapechelnyuk	On (non-) monotonicity of cooperative solutions.	Int. J. Game Theory	2010	DBLP DOI BibTeX RDF
17	Luis Estrada-González, Claudia Olmedo-García	Can Paraconsistency Replace Non-Monotonicity?	LA-NMR	2009	DBLP BibTeX RDF
17	Souhila Kaci, Leendert W. N. van der Torre	Reasoning with various kinds of preferences: logic, non-monotonicity, and algorithms.	Ann. Oper. Res.	2008	DBLP DOI BibTeX RDF	Logic of preferences, Preference logic
17	Tomasz Jurdzinski, Frantisek Mráz, Friedrich Otto, Martin Plátek	Degrees of non-monotonicity for restarting automata.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
17	Souhila Kaci, Leendert W. N. van der Torre	Permissions and Uncontrollable Propositions in DSDL3: Non-monotonicity and Algorithms.	DEON	2006	DBLP DOI BibTeX RDF
17	Benedek Nagy, Gerard Allwein	Diagrams and Non-monotonicity in Puzzles.	Diagrams	2004	DBLP DOI BibTeX RDF	diagrammatic reasoning, Puzzles, non-monotonic reasoning
17	Donald E. Campbell, Jerry S. Kelly	Non-monotonicity does not imply the no-show paradox.	Soc. Choice Welf.	2002	DBLP DOI BibTeX RDF
17	Martin Plátek, Frantisek Mráz	Degrees of (Non)Monotonicity of RRW-Automata.	DCFS	2001	DBLP BibTeX RDF
17	Masaharu Munetomo, David E. Goldberg	Linkage Identification by Non-monotonicity Detection for Overlapping Functions.	Evol. Comput.	1999	DBLP DOI BibTeX RDF
17	Tom Costello	Non-monotonicity and change.		1997	RDF
17	Hugo Velthuijsen	Issues of Non-Monotonicity in Feature-Interaction Detection.	FIW	1995	DBLP BibTeX RDF
17	Allen L. Brown Jr., Surya Mantha, Toshiro Wakayama	Preference Logics and Non-Monotonicity in Logic Programming.	LFCS	1992	DBLP DOI BibTeX RDF
17	Didier Dubois, Henri Prade	Possibilistic Logic, Preferential Models, Non-monotonicity and Related Issues.	IJCAI	1991	DBLP BibTeX RDF
17	Nicole Bidoit, Richard Hull 0001	Minimalism, Justification and Non-Monotonicity in Deductive Databases.	J. Comput. Syst. Sci.	1989	DBLP DOI BibTeX RDF
17	Benjamin N. Grosof	Non-monotonicity in probabilistic reasoning.	UAI	1986	DBLP BibTeX RDF
17	Alexander Borgida, Tomasz Imielinski	Decision Making in Commitees - A Framework for Dealing with Inconsistency and Non-Monotonicity.	NMR	1984	DBLP BibTeX RDF
17	Donald Perlis	Non-Monotonicity and Real-Time Reasoning.	NMR	1984	DBLP BibTeX RDF
12	Chrisil Arackaparambil, Joshua Brody, Amit Chakrabarti	Functional Monitoring without Monotonicity.	ICALP (1)	2009	DBLP DOI BibTeX RDF	sensor networks, distributed algorithms, data streams, Communication complexity
12	Jong Wook Kim, K. Selçuk Candan	Skip-and-prune: cosine-based top-k query processing for efficient context-sensitive document retrieval.	SIGMOD Conference	2009	DBLP DOI BibTeX RDF	ranking, top-k
12	Ning Chen 0005, Arpita Ghosh, Sergei Vassilvitskii	Optimal envy-free pricing with metric substitutability.	EC	2008	DBLP DOI BibTeX RDF	envy-free pricing, algorithms
12	Sunil Rafeeque, Vinita Vasudevan	A Built-in-Self-Test Scheme for Segmented and Binary Weighted DACs.	J. Electron. Test.	2004	DBLP DOI BibTeX RDF	digital to analog converters, nonlinearity test, analog testing, mixed-signal BIST
12	Mehmet M. Dalkilic, Arijit Sengupta	A logic-theoretic classifier called Circle.	ICARCV	2004	DBLP DOI BibTeX RDF
12	Christian Haubelt, Sanaz Mostaghim, Jürgen Teich, Ambrish Tyagi	Solving Hierarchical Optimization Problems Using MOEAs.	EMO	2003	DBLP DOI BibTeX RDF
10	Agostino Dovier, Enrico Pontelli	Present and Future Challenges for ASP Systems.	LPNMR	2009	DBLP DOI BibTeX RDF
10	Haris Aziz 0001, Mike Paterson	False name manipulations in weighted voting games: splitting, merging and annexation.	AAMAS (1)	2009	DBLP BibTeX RDF	Banzhaf index, Shapley-Shubik index, false-name manipulation, computational complexity, weighted voting games
10	Bruno Gaujal, Florence Perronnin, Rémi Bertin	Perfect Simulation of a Class of Stochastic Hybrid Systems with an Application to Peer to Peer Systems.	Discret. Event Dyn. Syst.	2008	DBLP DOI BibTeX RDF	Hybrid stochastic systems, Peer to peer systems, Perfect simulation
10	Henrik Grosskreutz, Stefan Rüping 0001, Stefan Wrobel	Tight Optimistic Estimates for Fast Subgroup Discovery.	ECML/PKDD (1)	2008	DBLP DOI BibTeX RDF
10	Jean-Baptiste Rouquier, Michel Morvan	Combined Effect of Topology and Synchronism Perturbation on Cellular Automata: Preliminary Results.	ACRI	2008	DBLP DOI BibTeX RDF
10	Nicole Immorlica, Jon M. Kleinberg, Mohammad Mahdian, Tom Wexler	The role of compatibility in the diffusion of technologies through social networks.	EC	2007	DBLP DOI BibTeX RDF	contagion on networks, diffusion of innovations, algorithmic game theory
10	Lorenzo Carlucci, John Case, Sanjay Jain 0001, Frank Stephan 0001	Memory-Limited U-Shaped Learning.	COLT	2006	DBLP DOI BibTeX RDF
10	Nikolai Buzikashvili	Information Searching Behavior: Between Two Principles.	CoLIS	2005	DBLP DOI BibTeX RDF
10	Martin Folkesson	Fuzzy Matching and Evidential Reasoning.	ECSQARU	2003	DBLP DOI BibTeX RDF
10	Magdalena Ortiz 0001, Gerardo Ayala 0001, Mauricio Osorio 0001	Formalizing the Learner Model for CSCL Environments.	ENC	2003	DBLP DOI BibTeX RDF
10	Ahti Pietarinen	Knowledge Constructions for Artificial Intelligence.	ISMIS	2002	DBLP DOI BibTeX RDF
10	Pinhong Chen, Yuji Kukimoto, Chin-Chi Teng, Kurt Keutzer	On convergence of switching windows computation in presence of crosstalk noise.	ISPD	2002	DBLP DOI BibTeX RDF
10	Antony Galton, Juan Carlos Augusto	Stratified Causal Theories for Reasoning about Deterministic Devices and Protocols.	TIME	2002	DBLP DOI BibTeX RDF
10	Sofia Guerra	Distance Functions for Defaults in Reactive Systems.	AMAST	2000	DBLP DOI BibTeX RDF
10	Floriana Esposito, Donato Malerba, Francesca A. Lisi	Induction of Recursive Theories in the Normal ILP Setting: Issues and Solutions.	ILP	2000	DBLP DOI BibTeX RDF
10	João P. Martins	Computational issues in belief revision.	The Logic of Theory Change	1989	DBLP DOI BibTeX RDF
10	Clemens Beckstein, Günther Görz, M. Tielemann	FORK: A System for Object- and Rule-Oriented Programming.	ECOOP	1987	DBLP DOI BibTeX RDF