Search results for "monotonic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
102	Jianwen Hu, Weiming Zhang 0003, Zhong Liu, Xiaofeng Hu, Guangya Si	A novel complex-system-view-based method for system effectiveness analysis: Monotonic indexes space.	Sci. China Ser. F Inf. Sci.	2006	DBLP DOI BibTeX RDF	effectiveness analysis, monotonic indexes space, monotonic indexes requirement locus, fuzzy effectiveness analysis
87	Susana Cubillo, Enric Trillas	Characterizing non-monotonic fuzzy relations.	Soft Comput.	1997	DBLP DOI BibTeX RDF	Monotonic and non-monotonic fuzzy and crisp Relations, Logical T-States, Logical Fuzzy States and Logical States
86	Steffen Lange, Thomas Zeugmann	Types of Monotonic Language Learning and Their Characterization.	COLT	1992	DBLP DOI BibTeX RDF
80	Mahmoud Naghibzadeh, K. H. (Kane) Kim	A Modified Version of Rate-Monotonic Scheduling Algorithm and its Efficiency Assessment.	WORDS	2002	DBLP DOI BibTeX RDF	Delayed rate-monotonic algorithm, real-time systems, periodic tasks, rate-monotonic algorithm
72	Nicole Immorlica, Mohammad Mahdian, Vahab S. Mirrokni	Limitations of cross-monotonic cost-sharing schemes.	ACM Trans. Algorithms	2008	DBLP DOI BibTeX RDF	Cross-monotonic cost-sharing schemes, group-strategyproof mechanism design, probabilistic method
71	Nicole Immorlica, Mohammad Mahdian, Vahab S. Mirrokni	Limitations of cross-monotonic cost sharing schemes.	SODA	2005	DBLP BibTeX RDF
65	Kyoichi Nakashima, Y. Nakamura, Noboru Takagi	Logic Expressions of Monotonic Multiple-Valued Functions.	ISMVL	1996	DBLP DOI BibTeX RDF	partial-ordering relation, unary operators, monotonic multiple-valued functions, monotonic p-valued functions, multivalued logic, multiple-valued logic, multiple-valued functions, logic functions
64	Anthony Hunter	A Conceptualization of Preferences in Non-Monotonic Proof Theory.	JELIA	1992	DBLP DOI BibTeX RDF	Labelled Deductive Systems, Non-monotonic logics
59	Benedek Nagy, Gerard Allwein	Diagrams and Non-monotonicity in Puzzles.	Diagrams	2004	DBLP DOI BibTeX RDF	diagrammatic reasoning, Puzzles, non-monotonic reasoning
57	Ioannis C. Demetriou	Algorithm 863: L2WPMA, a Fortran 77 package for weighted least-squares piecewise monotonic data approximation.	ACM Trans. Math. Softw.	2007	DBLP DOI BibTeX RDF	data smoothing, peak finding, piecewise monotonic, pound/dollar exchange rate, turning point, image processing, dynamic programming, Approximation, signal processing, histogram, spline, fitting, Lagrange multipliers, isotonic regression, divided difference
57	Sofia Grahn, Mark Voorneveld	Population Monotonic Allocation Schemes in Bankruptcy Games.	Ann. Oper. Res.	2002	DBLP DOI BibTeX RDF	bankruptcy problems, population monotonic allocation scheme
52	Fangqing Dong, Hiroshi Nakagawa	Semantics of Non-montonic Reasoning based on Perfect Model.	LP	1989	DBLP DOI BibTeX RDF
50	Norman P. Archer, Shouhong Wang	Learning Bias in Neural Networks and an Approach to Controlling Its Effect in Monotonic Classification.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	boundary generation unpredictability, monotonic classification, backpropagation training algorithm, learning bias, multiarchitecture monotonic function neural networks, pattern recognition, pattern recognition, learning (artificial intelligence), neural nets, backpropagation
50	Yasuo Narukawa, Vicenç Torra	Non-monotonic Fuzzy Measures and Intuitionistic Fuzzy Sets.	MDAI	2006	DBLP DOI BibTeX RDF	Non-monotonic fuzzy measure, Hamming distance, Intuitionistic fuzzy sets, Choquet integral, Fuzzy measure
50	Sanjoy K. Baruah, Joël Goossens	Rate-Monotonic Scheduling on Uniform Multiprocessors.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	Uniform multiprocessors, periodic tasks, global scheduling, rate-monotonic algorithm, static priorities
50	Alan A. Bertossi, Luigi V. Mancini, Federico Rossini	Fault-Tolerant Rate-Monotonic First-Fit Scheduling in Hard-Real-Time Systems.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	Fault tolerance, multiprocessor systems, hard-real-time systems, periodic tasks, rate-monotonic scheduling, task replication
50	George Wolberg, Itzik Alfy	Monotonic Cubic Spline Interpolation.	Computer Graphics International	1999	DBLP DOI BibTeX RDF	monotonic interpolation, optimization, cubic splines
50	Yoshifumi Manabe, Shigemi Aoyagi	A feasibility decision algorithm for rate monotonic scheduling of periodic real-time tasks.	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	feasibility decision algorithm, periodic real-time tasks, task scheduling algorithm, periodic real time task systems, real time task system, inverse deadline scheduling algorithm, scheduling, real-time systems, computational complexity, time complexity, scheduling algorithm, rate monotonic scheduling
50	Wei-Kuan Shih, Jane W.-S. Liu, C. L. Liu 0001	Modified Rate-Monotonic Algorithm for Scheduling Periodic Jobs with Deferred Deadlines.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	modified rate-monotonic algorithm, periodic jobs, deferred deadlines, semi-static priority-driven algorithm, time instant, old requests, current request, independent jobs, request deadline, deterministic scheduling theory, scheduling, real-time systems, real-time systems, computational complexity, embedded systems, operating system, scheduling algorithms, job scheduling, operating systems (computers), multiprogramming, feasibly scheduled
49	Yuqing Song 0002, Aidong Zhang	Monotonic Tree.	DGCI	2002	DBLP DOI BibTeX RDF
49	Jianhua Chen 0003	The Logic of Only Knowing as a Unified Framework for Non-Monotonic Reasoning.	ISMIS	1993	DBLP DOI BibTeX RDF
45	Hoang Tuy	On a decomposition method for nonconvex global optimization.	Optim. Lett.	2007	DBLP DOI BibTeX RDF	Nonconvex global optimization, Partly convex, Partly monotonic, Monotonic/linear problems, Branch and bound decomposition algorithm, Lagrangian bound, Convergence conditions, Parametric optimization, Duality gap
45	Thaere Eido, Daniel Popa, Tulin Atrnaca	Burst Mode Study and Packet Scheduling Algorithm in Optical Packet-Switched Networks.	AICT/ICIW	2006	DBLP DOI BibTeX RDF	Optical packet-switched network, Rate Monotonic Packet Scheduling, Packet Scheduling, Rate Monotonic Scheduling
45	Gregory R. Wheeler	Applied Logic without Psychologism.	Stud Logica	2008	DBLP DOI BibTeX RDF	Belief structures, pure invariantism, sub-System P logics, psychologism, non-monotonic logic
45	Arthur Buchsbaum, Tarcisio H. C. Pequeno, Marcelino Pequeno	A logical expression of reasoning.	Synth.	2007	DBLP DOI BibTeX RDF	Ampliative reasoning, Complex reasoning, Epistemic modalities, Default logic, Non-monotonic logic, Paraconsistency
44	Anthony Bucci, Jordan B. Pollack	Thoughts on solution concepts.	GECCO	2007	DBLP DOI BibTeX RDF	later is better, coevolution, bloat, solution concepts, pareto coevolution, coevolutionary algorithm
44	Ieva Mitasiunaite, Jean-François Boulicaut	Looking for monotonicity properties of a similarity constraint on sequences.	SAC	2006	DBLP DOI BibTeX RDF
42	Richard Bradley	Adams Conditionals and Non-Monotonic Probabilities.	J. Log. Lang. Inf.	2006	DBLP DOI BibTeX RDF	axiomatic probability theory, Adams' Thesis, Conditionals, non-monotonic logic
42	Ali Bastani, Charles A. Zukowski	Monotonic static CMOS tradeoffs in sub-100nm technologies.	ACM Great Lakes Symposium on VLSI	2006	DBLP DOI BibTeX RDF	gate leakage current, monotonic static CMOS logic, low power design, noise tolerance, static power
42	Sevan G. Ficici	Monotonic solution concepts in coevolution.	GECCO	2005	DBLP DOI BibTeX RDF	monotonic progress, coevolution, solution concepts
42	Tetsuya Murai, Masayuki Sanada, Yasuo Kudo, Yoshiharu Sato	Monotonic and Nonmonotonic Reasoning in Zoom Reasoning Systems.	KES	2004	DBLP DOI BibTeX RDF	Zoom reasoning System, Monotonic reasoning, Pawlak rough sets, Ziarko variable precision rough set model, Nonmonotonic reasoning
42	Yuqing Song 0002, Aidong Zhang	Analyzing scenery images by monotonic tree.	Multim. Syst.	2003	DBLP DOI BibTeX RDF	Monotonic tree, Annotation, Content-based image retrieval, Semantics retrieval, Image feature extraction
42	Sanjoy K. Baruah, Joël Goossens	Rate-monotonic scheduling on uniform multiprocessor.	ICDCS	2003	DBLP DOI BibTeX RDF	Uniform multiprocessors, periodic tasks, global scheduling, rate-monotonic algorithm, static priorities
42	John Thornley, K. Mani Chandy	Monotonic Counters: A New Mechanism for Thread Synchronization.	IPDPS	2000	DBLP DOI BibTeX RDF	monotonic counter, deterministic synchronization, sequential equivalence, ragged barriers, sequential ordering, single-writer multiple-reader, mutual exclusion, thread, monotonicity, multithreaded programming, determinacy, thread synchronization
42	Ján Sefránek	Belief, Knowledge, Revisions, and a Semantics of Non-Monotonic Reasoning.	LPNMR	1999	DBLP DOI BibTeX RDF	autoepistemic logic of knowledge and belief, dynamic Kripke structure, model checking, belief revision, non-monotonic reasoning
42	Cees Witteveen, Wiebe van der Hoek, Hans de Nivelle	Revision of Non-Monotonic Theories.	JELIA	1994	DBLP DOI BibTeX RDF	Logic Programming, Revision, Non-monotonic Reasoning
42	Zongpeng Li	Cross-Monotonic Multicast.	INFOCOM	2008	DBLP DOI BibTeX RDF
42	Pinata Winoto, Gordon I. McCalla, Julita Vassileva	Non-Monotonic-Offers Bargaining Protocol.	Auton. Agents Multi Agent Syst.	2005	DBLP DOI BibTeX RDF	alternating offer protocol, multiagent systems, belief revision, automated negotiation
42	Pinata Winoto, Gordon I. McCalla, Julita Vassileva	Non-Monotonic-Offers Bargaining Protocol.	AAMAS	2004	DBLP DOI BibTeX RDF
42	Yifeng Chen	A Fixpoint Theory for Non-monotonic Parallelism.	CSL	2002	DBLP DOI BibTeX RDF
42	Mitsunaga Kinjo, Shigeo Sato, Koji Nakajima	Characteristics of Small Scale Non-Monotonic Neuron Networks Having Large Potentiality for Learning.	IJCNN (4)	2000	DBLP DOI BibTeX RDF
39	Ernesto Burattini, Massimo De Gregorio, Antonio de Francesco	NSL: a Neuro-Symbolic Language for Monotonic and Non-Monotonic Logical Inferences.	SBRN	2002	DBLP DOI BibTeX RDF
38	Theodore P. Baker	An Analysis of Fixed-Priority Schedulability on a Multiprocessor.	Real Time Syst.	2006	DBLP DOI BibTeX RDF	symmetric multiprocessing, scheduling, real time, multiprocessor, utilization bound, rate monotonic, fixed priority, deadline monotonic
37	B. J. Smith, Harry S. Delugach	Another Reason Why Conceptual Graphs Need Actors.	ICCS	2009	DBLP DOI BibTeX RDF	context, sequence, iteration, actors, conceptual graphs, Turing machine, alternative, non-monotonic logic
37	Carlos Iván Chesñevar, Guillermo Ricardo Simari, Lluís Godo, Teresa Alsinet	Argument-Based Expansion Operators in Possibilistic Defeasible Logic Programming: Characterization and Logical Properties.	ECSQARU	2005	DBLP DOI BibTeX RDF	non-monotonic inference, logic programming, uncertainty, argumentation
37	José Carlos Loureiro Ralha, Célia Ghedini Ralha	Towards a Natural Way of Reasoning.	SBIA	2004	DBLP DOI BibTeX RDF	argumentative systems, non-monotonic reasoning, generalized quantifiers, defeasible reasoning
37	Teodor C. Przymusinski	Autoepistemic Logic of Minimal Beliefs.	JELIA	1994	DBLP DOI BibTeX RDF	Logics of Knowledge and Belief, Semantics of Logic Programs and Deductive Databases, Non-Monotonic Reasoning
37	Nikola Stojanovic, Negovan Stamenkovic, Dragana Zivaljevic	Monotonic, critical monotonic, and nearly monotonic low-pass filters designed by using the parity relation for Jacobi polynomials.	Int. J. Circuit Theory Appl.	2017	DBLP DOI BibTeX RDF
37	Karim Traore, Emmanuel Grolleau, Ahmed Rahni, Michaël Richard	Response-Time Analysis of tasks with offsets.	ETFA	2006	DBLP DOI BibTeX RDF
37	Léa Meyer	Comparing the Power of Probabilistic Learning and Oracle Identification Under Monotonicity Constraints.	ALT	1998	DBLP DOI BibTeX RDF
37	José Félix Costa, Amílcar Sernadas, Cristina Sernadas	Data Encapsulation and Modularity: Three Views of Inheritance.	MFCS	1993	DBLP DOI BibTeX RDF
35	Manik Lal Das, V. Lakshmi Narasimhan	Towards a Formal Verification of an Authentication Protocol Using Non-Monotonic Logic.	ITNG	2008	DBLP DOI BibTeX RDF	Authentication, Hash function, Password, Key agreement, Non-monotonic logic
35	Inès El Korbi, Leïla Azouz Saïdane	Performance Evaluation of Deadline Monotonic Policy over 802.11 Throughput and Average Service Time.	ICN	2008	DBLP DOI BibTeX RDF	Average Service Time, Performance Evaluation, Throughput, 802.11, Deadline Monotonic
35	Sushu Zhang, Karam S. Chatha, Goran Konjevod	Approximation algorithms for power minimization of earliest deadline first and rate monotonic schedules.	ISLPED	2007	DBLP DOI BibTeX RDF	low power design, earliest deadline first, rate monotonic
35	Sanjoy K. Baruah, Nathan Fisher	Global Deadline-Monotonic Scheduling of Arbitrary-Deadline Sporadic Task Systems.	OPODIS	2007	DBLP DOI BibTeX RDF	real-time systems, schedulability analysis, Multiprocessor scheduling, global scheduling, sporadic tasks, Deadline Monotonic, arbitrary deadlines
35	Jian-Jia Chen, Tei-Wei Kuo	Procrastination for leakage-aware rate-monotonic scheduling on a dynamic voltage scaling processor.	LCTES	2006	DBLP DOI BibTeX RDF	leakage-aware scheduling, scheduling, dynamic voltage scaling, fixed-priority scheduling, energy-aware systems, rate-monotonic scheduling
35	Giorgio C. Buttazzo	Rate Monotonic vs. EDF: Judgment Day.	Real Time Syst.	2005	DBLP DOI BibTeX RDF	real-time scheduling, Earliest Deadline First, periodic task, overload, Rate Monotonic, misconceptions
35	Enrico Bini, Giorgio C. Buttazzo, Giuseppe M. Buttazzo	Rate Monotonic Analysis: The Hyperbolic Bound.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	periodic scheduling, schedulability test, Rate-monotonic analysis
35	Sylvain Lauzac, Rami G. Melhem, Daniel Mossé	An Improved Rate-Monotonic Admission Control and Its Applications.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	scheduling, Real-time, operating systems, rate monotonic
35	Lucas Bordeaux, Frédéric Benhamou	Automated reasoning on monotonic constraints.	ICTAI	2000	DBLP DOI BibTeX RDF	monotonic constraints, consistency techniques, inference mechanisms, automated reasoning, constraint handling
35	Muhammad Sarfraz 0001	Rational Spline Interpolation Preserving the Shape of the Monotonic Data.	Computer Graphics International	1997	DBLP DOI BibTeX RDF	rational spline interpolation, monotonic data shape preservation, curve representation, cubic numerators, quadratic denominators, data visualisation, positivity, convexity, monotonicity, shape preservation, scientific data, rational interpolant
34	Vineet Kahlon, Chao Wang 0001, Aarti Gupta	Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique.	CAV	2009	DBLP DOI BibTeX RDF
34	Christian Schulte 0001, Guido Tack	Weakly Monotonic Propagators.	CP	2009	DBLP DOI BibTeX RDF
34	Zenglin Xu, Rong Jin 0001, Jieping Ye, Michael R. Lyu, Irwin King	Non-monotonic feature selection.	ICML	2009	DBLP DOI BibTeX RDF
34	Luis F. G. Sarmenta, Marten van Dijk, Charles W. O'Donnell, Jonathan Rhodes, Srinivas Devadas	Virtual monotonic counters and count-limited objects using a TPM without a trusted OS.	STC	2006	DBLP DOI BibTeX RDF	e-wallet memory integrity checking, key delegation, stored-value, trusted storage, certified execution
34	Yoichi Tomioka, Atsushi Takahashi 0001	Monotonic parallel and orthogonal routing for single-layer ball grid array packages.	ASP-DAC	2006	DBLP DOI BibTeX RDF
34	Karim Traore, Emmanuel Grolleau, Francis Cottet	Characterization and Analysis of Tasks with Offsets: Monotonic Transactions.	RTCSA	2006	DBLP DOI BibTeX RDF
34	Ali Bastani, Charles A. Zukowski	A Low-Leakage High-Speed Monotonic Static CMOS 64b Adder in a Dual Gate Oxide 65-nm CMOS Technology.	ISQED	2006	DBLP DOI BibTeX RDF
34	Ulle Endriss	Monotonic concession protocols for multilateral negotiation.	AAMAS	2006	DBLP DOI BibTeX RDF	protocols, game theory, negotiation
34	Emad Saad, Enrico Pontelli	Hybrid Probabilistic Logic Programs with Non-monotonic Negation.	ICLP	2005	DBLP DOI BibTeX RDF
34	Karianto Wong	Adding Monotonic Counters to Automata and Transition Graphs.	Developments in Language Theory	2005	DBLP DOI BibTeX RDF
34	Sharon Shoham, Orna Grumberg	Monotonic Abstraction-Refinement for CTL.	TACAS	2004	DBLP DOI BibTeX RDF
34	Parosh Aziz Abdulla, Ahmed Bouajjani, Julien d'Orso	Deciding Monotonic Games.	CSL	2003	DBLP DOI BibTeX RDF
34	Phan Minh Dung, Paolo Mancarella, Francesca Toni	Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
34	Nikolai Starodoubtsev, Sergei Bystrov, Michael V. Goncharov, Ilya V. Klotchkov, Alexander B. Smirnov	Towards Synthesis of Monotonic Asynchronous Circuits from Signal Transition Graphs.	ACSD	2001	DBLP DOI BibTeX RDF
34	Tyler Thorp, Gin Yee, Carl Sechen	Design and Synthesis of Monotonic Circuits.	ICCD	1999	DBLP DOI BibTeX RDF
34	Huan Liu 0001, Hiroshi Motoda, Manoranjan Dash	A Monotonic Measure for Optimal Feature Selection.	ECML	1998	DBLP DOI BibTeX RDF
34	Eitan Altman, Shaler Stidham Jr.	Optimality of monotonic policies for two-action Markovian decision processes, with applications to control of queues with delayed information.	Queueing Syst. Theory Appl.	1995	DBLP DOI BibTeX RDF	monotone policies, delayed information and actions, Markov decision processes, submodularity
34	Madalene Spezialetti, Rajiv Gupta 0001	Loop Monotonic Statements.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	Access anomalies (data races), run-time dependence checking, static analysis, array bound checking, induction variables
34	Kenneth A. Ross, Yehoshua Sagiv	Monotonic Aggregation in Deductive Databases.	PODS	1992	DBLP DOI BibTeX RDF
30	James H. Anderson, Srikanth Ramamurthy, Kevin Jeffay	Real-Time Computing with Lock-Free Shared Objects.	ACM Trans. Comput. Syst.	1997	DBLP DOI BibTeX RDF	scheduling, synchronization, earliest deadline first, hard real time, wait free, lock free, critical sections, rate monotonic, deadline monotonic
30	Moonju Park	Non-preemptive Fixed Priority Scheduling of Hard Real-Time Periodic Tasks.	International Conference on Computational Science (4)	2007	DBLP DOI BibTeX RDF	real-time scheduling, periodic tasks, utilization bound, rate monotonic, non-preemptive
30	Jerzy Brzezinski, Anna Kobusinska, Michal Szychowiak	Rollback-Recovery Protocol Guarantying MR Session Guarantee in Distributed Systems with Mobile Clients.	Euro-Par	2006	DBLP DOI BibTeX RDF	Monotonic Reads session guarantee, safety, mobile systems, rollback-recovery
30	Jerzy Brzezinski, Anna Kobusinska	Safety of Recovery Protocol Preserving MW Session Guarantee in Mobile Systems.	ICCSA (4)	2006	DBLP DOI BibTeX RDF	Monotonic Writes session guarantee, safety, mobile systems, rollback-recovery
30	Paul T. Jackway, Mohamed A. Deriche	Scale-Space Properties of the Multiscale Morphological Dilation-Erosion.	IEEE Trans. Pattern Anal. Mach. Intell.	1996	DBLP DOI BibTeX RDF	multiscale morphology, monotonic property, scale-space fingerprints, signal analysis, Scale-space filtering
30	Tapas Kanungo, David M. Gay, Robert M. Haralick	Constrained monotone regression of ROC curves and histograms using splines and polynomials.	ICIP	1995	DBLP DOI BibTeX RDF	monotonically decreasing curves, single valued functions, parametric splines, parametric polynomials, monotonicity constraints, optimal operating points, cumulative density functions, monotonic splines, fitted spline function, end-point constraints, constrained monotone regression problem, mathematical programming language, AMPL, programming languages, statistical analysis, histograms, mathematical programming, curve fitting, curve fitting, splines (mathematics), receivers, ROC curves, receiver operating characteristics, parametric representation, density functions, closed form
29	Ioannis Caragiannis, Christos Kaklamanis, Nikos Karanikolas, Ariel D. Procaccia	Socially desirable approximations for Dodgson's voting rule.	EC	2010	DBLP DOI BibTeX RDF	dodgson's voting rule, approximation algorithms, social choice
29	Manjula A. Iyer, Morgan M. Harris, Layne T. Watson, Michael W. Berry	A performance comparison of piecewise linear estimation methods.	SpringSim	2008	DBLP DOI BibTeX RDF
29	Hong-Ying Zhang 0001, Ya-Juan Su	A Ranking Approach with Inclusion Measure in Multiple-Attribute Interval-Valued Decision Making.	RSFDGrC	2007	DBLP DOI BibTeX RDF	Inclusion measure, Ranking of interval number, Multiple-attribute decision making
29	Shouke Qin, Weining Qian, Aoying Zhou	Approximately Processing Multi-granularity Aggregate Queries over Data Streams.	ICDE	2006	DBLP DOI BibTeX RDF
29	Jerzy Brzezinski, Cezary Sobaniec, Dariusz Wawrzyniak	From Session Causality to Causal Consistency.	PDP	2004	DBLP DOI BibTeX RDF	remote objects, shared objects, consistency models, session guarantees
29	Johannes Fischer 0001, Luc De Raedt	Towards Optimizing Conjunctive Inductive Queries.	PAKDD	2004	DBLP DOI BibTeX RDF
29	Ramón P. Otero	Embracing Causality in Inducing the Effects of Actions.	CAEPIA	2003	DBLP DOI BibTeX RDF
29	Luc De Raedt, Manfred Jaeger, Sau Dan Lee, Heikki Mannila	A Theory of Inductive Query Answering.	ICDM	2002	DBLP DOI BibTeX RDF
29	Saowanee Saewong, Ragunathan Rajkumar, John P. Lehoczky, Mark H. Klein	Analysis of Hierar hical Fixed-Priority Scheduling.	ECRTS	2002	DBLP DOI BibTeX RDF
29	Sandeep S. Kulkarni, Ali Ebnenasir	The Complexity of Adding Failsafe Fault-Tolerance.	ICDCS	2002	DBLP DOI BibTeX RDF	Fault-tolerance, Formal methods, Program transformation, Distributed programs, Program synthesis
29	Ilya Levin, Vladimir Ostrovsky, Sergey Ostanin, Mark G. Karpovsky	Self-checking sequential circuits with self-healing ability.	ACM Great Lakes Symposium on VLSI	2002	DBLP DOI BibTeX RDF
29	Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller	Efficient defeasible reasoning systems.	ICTAI	2000	DBLP DOI BibTeX RDF	defeasible reasoning systems, highly expressive logics, backward chaining approach, forward-chaining implementation, computational complexity, business rules, nonmonotonic reasoning, nonmonotonic reasoning, modelling language, linear complexity, query answering system, backward chaining
29	Tomi Janhunen	On the Intertranslatability of Autoepistemic, Default and Priority Logics, and Parallel Circumscription.	JELIA	1998	DBLP DOI BibTeX RDF
29	Joxan Jaffar, Roland H. C. Yap	Open Constraint Programming.	CP	1998	DBLP DOI BibTeX RDF