Search results for "admissibility"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
99	Jianying Cui, Meiyun Guo, Xiaojia Tang	Characterizations of Iterated Admissibility Based on PEGL.	LORI	2009	DBLP DOI BibTeX RDF	strategic-form game, iterated admissibility algorithm, rationality, common knowledge, probability logic
59	Joseph Y. Halpern, Rafael Pass	A logical characterization of iterated admissibility.	TARK	2009	DBLP DOI BibTeX RDF
59	Frank Wolter, Michael Zakharyaschev	Undecidability of the unification and admissibility problems for modal and description logics.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	admissible rule, description logic, decidability, Unification, hybrid logic
54	Jin-yi Cai, Pinyan Lu	Signature Theory in Holographic Algorithms.	ISAAC	2008	DBLP DOI BibTeX RDF
54	Natalia Vanetik, Solomon Eyal Shimony, Ehud Gudes	Support measures for graph data.	Data Min. Knowl. Discov.	2006	DBLP DOI BibTeX RDF	Support measures, Data mining, Graph mining
53	Ashish Mehra, Atri Indiresan, Kang G. Shin	Resource management for real-time communication: making theory meet practice.	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	host CPU, link resources, channel admissibility, resource capacity, implementation paradigms, admission control procedure, resource preemption overheads, link bandwidth, CPU bandwidth allocation, real-time systems, resource allocation, distributed processing, resource management, packet switching, operating systems (computers), real-time communication, network operating systems, packet-switched networks, computer network management, telecommunication congestion control, telecommunication channels, real-time channels
45	Dietmar Berwanger	Admissibility in Infinite Games.	STACS	2007	DBLP DOI BibTeX RDF
45	Slim Abdellatif, Guy Juanole	Improving the admissibility of flows with bounded arrivals and bounded delay requirements in rate-controlled packet networks.	EUROMICRO-SEAA	2005	DBLP DOI BibTeX RDF
45	Wolfgang Hackbusch, Boris N. Khoromskij, Ronald Kriemann	Hierarchical Matrices Based on a Weak Admissibility Criterion.	Computing	2004	DBLP DOI BibTeX RDF	BEM, Integral equations, matrices
45	Jeremy E. Dawson, Rajeev Goré	Formalised Cut Admissibility for Display Logic.	TPHOLs	2002	DBLP DOI BibTeX RDF
44	Xiaojun Shen	An Optimal O(NlgN) Algorithm for Permutation Admissibility to Extra-Stage Cube-Type Networks.	IEEE Trans. Computers	1995	DBLP DOI BibTeX RDF	extra-stage cube-type network, permutation admissibility, lower bound, graph coloring, Conflict graph
41	Mohamed Yagoubi, Anis Bouali, Philippe Chevrel	Multiobjective controller synthesis for parameter dependent descriptor systems via dilated LMI characterizations.	CDC	2008	DBLP DOI BibTeX RDF
41	Emil Jerábek	Complexity of admissible rules.	Arch. Math. Log.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03B45, 03D15, 03B55
41	Joaquin Gonzalez-Rodriguez, P. Rose, Daniel Ramos 0001, Doroteo T. Toledano, Javier Ortega-Garcia	Emulating DNA: Rigorous Quantification of Evidential Weight in Transparent and Testable Forensic Speaker Recognition.	IEEE Trans. Speech Audio Process.	2007	DBLP DOI BibTeX RDF
41	Guido Boella, Luigi Sauro, Leendert W. N. van der Torre	Admissible Agreements among Goal-directed Agents.	IAT	2005	DBLP DOI BibTeX RDF
40	Charles Adams, Anthony Whitledge, Sujeet Shenoi	Legal Issues Pertaining to the Use of Cell Phone Data. (PDF / PS)	IFIP Int. Conf. Digital Forensics	2008	DBLP DOI BibTeX RDF	Cell phone forensics, evidence, sufficiency, admissibility
40	Olivier Hermant	Semantic Cut Elimination in the Intuitionistic Sequent Calculus.	TLCA	2005	DBLP DOI BibTeX RDF	intuitionistic sequent calculus, cut admissibility, cut elimination property, semantic, Kripke Structure, deduction modulo
40	Scott M. Giordano	Electronic Evidence and the Law.	Inf. Syst. Frontiers	2004	DBLP DOI BibTeX RDF	reliability, authentication, evidence, hearsay, admissibility
40	Jens Knoop, Oliver Rüthing	Optimization Under the Perspective of Soundness, Completeness, and Reusability.	Correct System Design	1999	DBLP DOI BibTeX RDF	Programming paradigms (imperative, explicitly parallel, object-oriented), safety and coincidence theorems, optimizer generators, optimality, completeness, data-flow analysis, reusability, soundness, program optimization, code motion, admissibility
37	Sergei Odintsov, Vladimir V. Rybakov	Inference Rules in Nelson's Logics, Admissibility and Weak Admissibility.	Logica Universalis	2015	DBLP DOI BibTeX RDF
37	Hans Zwart, Birgit Jacob, Olof J. Staffans	Weak admissibility does not imply admissibility for analytic semigroups.	Syst. Control. Lett.	2003	DBLP DOI BibTeX RDF
32	Rza Bashirov, Fabrice Kordon, Hüseyin Lort	Exploiting colored Petri nets to decide on permutation admissibility.	Acta Informatica	2009	DBLP DOI BibTeX RDF
32	Alfred G. Noël	A General Computational Scheme for Testing Admissibility of Nilpotent Orbits of Real Lie Groups of Inner Type.	ICMS	2006	DBLP DOI BibTeX RDF
32	Katalin Bimbó	Admissibility of Cut in LC with Fixed Point Combinator.	Stud Logica	2005	DBLP DOI BibTeX RDF	structurally free logics, fked point combinator, (multiple) cut rule, elimination theorem, substructural logics, non-classical logics, combinatory logic
32	Marcelo O. Johann, Andrew E. Caldwell, Ricardo Augusto da Luz Reis, Andrew B. Kahng	Admissibility Proofs for the LCS* Algorithm.	IBERAMIA-SBIA	2000	DBLP DOI BibTeX RDF
32	Healfdene Goguen	A Kripke-Style Model for the Admissibility of Structural Rules.	TYPES	2000	DBLP DOI BibTeX RDF
32	Karl Crary	Admissibility of Fixpoint Induction over Partial Types.	CADE	1998	DBLP DOI BibTeX RDF
27	Matthew Andrews, Lisa Zhang	Routing and scheduling in multihop wireless networks with time-varying channels.	ACM Trans. Algorithms	2007	DBLP DOI BibTeX RDF	Scheduling, routing, wireless network, stability, time-varying
27	Takashi Washio, Hiroshi Motoda	Communicability Criteria of Law Equations Discovery.	Computational Discovery of Scientific Knowledge	2007	DBLP DOI BibTeX RDF
27	Jin-yi Cai, Pinyan Lu	Holographic algorithms: from art to science.	STOC	2007	DBLP DOI BibTeX RDF	matchgates, signatures, holographic algorithms
27	Roy Dyckhoff, Delia Kesner, Stéphane Lengrand	Strong Cut-Elimination Systems for Hudelmaier's Depth-Bounded Sequent Calculus for Implicational Logic.	IJCAR	2006	DBLP DOI BibTeX RDF
27	Andy Burton 0001, D. Schofield, L. M. Goodwin	Gates of global perception: forensic graphics for evidence presentation.	ACM Multimedia	2005	DBLP DOI BibTeX RDF	global courtroom, mobile digital technologies, virtual reality, augmented reality, mixed reality, evidence, forensic
27	Matthew Andrews, Lisa Zhang	Routing and scheduling in multihop wireless networks with time-varying channels.	SODA	2004	DBLP BibTeX RDF
27	Yong Luo 0001, Zhaohui Luo, Sergei Soloviev 0001	Weak Transitivity in Coercive Subtyping.	TYPES	2002	DBLP DOI BibTeX RDF
27	Yong Luo 0001, Zhaohui Luo	Coherence and Transitivity in Coercive Subtyping.	LPAR	2001	DBLP DOI BibTeX RDF
27	Ulrich Kühler, Claus-Peter Wirth	Conditional Equational Specifications of Data Types with Partial Operations for Inductive Theorem Proving.	RTA	1997	DBLP DOI BibTeX RDF
27	Udo W. Lipeck, Dasu Feng	Construction of Deterministic Transition Graphs from Dynamic Integrity Constraints.	WG	1988	DBLP DOI BibTeX RDF
26	Seok-Kyu Kweon, Kang G. Shin	Providing deterministic delay guarantees in ATM networks.	IEEE/ACM Trans. Netw.	1998	DBLP DOI BibTeX RDF	broadband ISDN, cell multiplexing, channel admissibility, rate-monotonic priority scheduling, BISDN, ATM, real-time communication, traffic controller, delay guarantee, multimedia conferencing
18	Arpit Babbar, Praveen Chandrashekar	Generalized framework for admissibility preserving Lax-Wendroff Flux Reconstruction for hyperbolic conservation laws with source terms.	CoRR	2024	DBLP DOI BibTeX RDF
18	Arpit Babbar, Sudarshan Kumar Kenettinkara, Praveen Chandrashekar	Admissibility Preserving Subcell Limiter for Lax-Wendroff Flux Reconstruction.	J. Sci. Comput.	2024	DBLP DOI BibTeX RDF
18	Jian-Hua Chen, Xian-Feng Zhao, Hua-Cheng Zhou	Admissibility and Observability of Jeffreys Type of Overdamped Second Order Linear Systems.	SIAM J. Control. Optim.	2024	DBLP DOI BibTeX RDF
18	Thiago De Paula, André Do Amaral, Andre Victor, Luis Alberto Sales, Rodrigo Moreira, Thiago Meirelles, Rafael Basso	Automated admissibility of complaints about fraud and corruption.	PROPOR	2024	DBLP BibTeX RDF
18	Rafal Kapica, Jonathan R. Partington, Radoslaw Zawiski	Admissibility of retarded diagonal systems with one-dimensional input space.	Math. Control. Signals Syst.	2023	DBLP DOI BibTeX RDF
18	Olivia Monjon, Jérôme Scherer, Florence Sterck	Admissibility of Localizations of Crossed Modules.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
18	Yun Chen, Gang Chen	Improved results on admissibility analysis for singular systems with periodically time-varying delay.	J. Frankl. Inst.	2023	DBLP DOI BibTeX RDF
18	Liang Qiao 0004, Jian Huang 0013	Admissibility and admissibilization for T-S fuzzy descriptor systems with partially unknown membership functions.	Int. J. Syst. Sci.	2023	DBLP DOI BibTeX RDF
18	El Hafid Chelliq, Mohammed Alfidi, Zakaria Chalh	Admissibility and robust H∞ controller design for uncertain 2D singular continuous systems with interval time-varying delays.	Int. J. Syst. Sci.	2023	DBLP DOI BibTeX RDF
18	Tim Aschenbruck, Felix Petzke, Philipp Rumschinski, Stefan Streif	On Consistency, Viability, and Admissibility in Constrained Ensemble and Hierarchical Control Systems.	IEEE Trans. Autom. Control.	2023	DBLP DOI BibTeX RDF
18	Abdelhafid Zenati, Nabil Aouf, Mohamed Tadjine, Taous-Meriem Laleg-Kirati	On the Admissibility and Stability of Multiagent Nonlinear Interconnected Positive Systems With Heterogeneous Delays.	IEEE Trans. Autom. Control.	2023	DBLP DOI BibTeX RDF
18	Pingchuan Li, Wencheng Zou, Jian Guo 0007, Zhengrong Xiang	Optimal consensus of a class of discrete-time linear multi-agent systems via value iteration with guaranteed admissibility.	Neurocomputing	2023	DBLP DOI BibTeX RDF
18	Arpit Babbar, Sudarshan Kumar Kenettinkara, Praveen Chandrashekar	Admissibility preserving subcell limiter for Lax-Wendroff flux reconstruction.	CoRR	2023	DBLP DOI BibTeX RDF
18	Gil Kur, Eli Putterman, Alexander Rakhlin	On the Variance, Admissibility, and Stability of Empirical Risk Minimization.	CoRR	2023	DBLP DOI BibTeX RDF
18	Laura Calem, Hedi Ben-Younes, Patrick Pérez, Nicolas Thome	Diverse Probabilistic Trajectory Forecasting with Admissibility Constraints.	CoRR	2023	DBLP DOI BibTeX RDF
18	Qing-Hao Zhang, Jun-Guo Lu	Admissibility and robust stabilization of fractional-order singular discrete systems with interval uncertainties.	Int. J. Gen. Syst.	2023	DBLP DOI BibTeX RDF
18	Peng Su, Zhaoliang Sheng, Chong Lin, Bing Chen 0001	An asymmetric Lyapunov-Krasovskii functional and its application to stochastic admissibility analysis of time-delay singular Markovian jump systems.	Appl. Math. Lett.	2023	DBLP DOI BibTeX RDF
18	Nick Bezhanishvili, Luca Carai, Silvio Ghilardi, Lucia Landi	Admissibility of Π2-Inference Rules: interpolation, model completion, and contact algebras.	Ann. Pure Appl. Log.	2023	DBLP DOI BibTeX RDF
18	Amine Dehak, Anh-Tu Nguyen, Antoine Dequidt, Laurent Vermeiren, Michel Dambrine	Reduced-Complexity LMI Conditions for Admissibility Analysis and Control Design of Singular Nonlinear Systems.	IEEE Trans. Fuzzy Syst.	2023	DBLP DOI BibTeX RDF
18	Yibo Wang, Changchun Hua, Peng Shi 0001	Improved Admissibility Criteria for Takagi-Sugeno Fuzzy Singular Systems With Time-Varying Delay.	IEEE Trans. Fuzzy Syst.	2023	DBLP DOI BibTeX RDF
18	Ding Wang 0001, Mingming Zhao, Mingming Ha, Junfei Qiao 0001	Stability and Admissibility Analysis for Zero-Sum Games Under General Value Iteration Formulation.	IEEE Trans. Neural Networks Learn. Syst.	2023	DBLP DOI BibTeX RDF
18	Hugo Pousseur, Alessandro Corrêa Victorino	General and Multi-Criteria Approach to Study the Admissibility and Quality of a Driving Intention.	IV	2023	DBLP DOI BibTeX RDF
18	Gil Kur, Eli Putterman, Alexander Rakhlin	On the Variance, Admissibility, and Stability of Empirical Risk Minimization.	NeurIPS	2023	DBLP BibTeX RDF
18	Haeseong Lee, PooGyeon Park	Improved Admissibility Analysis of Singular Time-delay System.	SICE	2023	DBLP DOI BibTeX RDF
18	Edi Pavlovic, Frederik Van De Putte	Proof Theory for Admissibility in Two-Player (Deontic) Games.	DEON	2023	DBLP BibTeX RDF
18	M. Tismane, Hamid Bounit, Ahmed Fadili	On the inversion and admissibility for a class of Volterra integro-differential problems.	IMA J. Math. Control. Inf.	2022	DBLP DOI BibTeX RDF
18	Cristina Y. Morimoto, Aurora T. R. Pozo, Marcilio C. P. de Souto	An analysis of the admissibility of the objective functions applied in evolutionary multi-objective clustering.	Inf. Sci.	2022	DBLP DOI BibTeX RDF
18	Garibaldi Sarmento	A note on Tarski's remarks about the non-admissibility of a general theory of semantics.	FLAP	2022	DBLP BibTeX RDF
18	Xiuwen Fu, Zhaoliang Sheng, Chong Lin, Bing Chen 0001	New results on admissibility and dissipativity analysis of descriptor time-delay systems.	Appl. Math. Comput.	2022	DBLP DOI BibTeX RDF
18	Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij	Strong admissibility for abstract dialectical frameworks.	Argument Comput.	2022	DBLP DOI BibTeX RDF
18	Yufeng Tian, Zhanshan Wang	Admissibility analysis of Takagi-Sugeno fuzzy descriptor systems with time-varying delay via nonorthogonal free-matrix-based inequality.	J. Frankl. Inst.	2022	DBLP DOI BibTeX RDF
18	Yuzhong Wang, Zhiyuan Dong, Song Yang	Admissibility analysis for networked discrete-time descriptor systems with RONs and ROUs by an arctangent adaptive event-triggering scheme.	J. Frankl. Inst.	2022	DBLP DOI BibTeX RDF
18	Hao Wang 0195, Zhaoliang Sheng, Chong Lin, Bing Chen 0001	Asymmetric Lyapunov-Krasovskii functional method for admissibility analysis and stabilisation of T-S fuzzy singular systems with time delay.	Int. J. Syst. Sci.	2022	DBLP DOI BibTeX RDF
18	Ringo Baumann, Gerhard Brewka, Markus Ulbricht 0001	Shedding new light on the foundations of abstract argumentation: Modularization and weak admissibility.	Artif. Intell.	2022	DBLP DOI BibTeX RDF
18	Jian Chen 0023, Jinpeng Yu 0001, Hak-Keung Lam	New Admissibility and Admissibilization Criteria for Nonlinear Discrete-Time Singular Systems by Switched Fuzzy Models.	IEEE Trans. Cybern.	2022	DBLP DOI BibTeX RDF
18	Ya-Li Zhi, Shuping He, Zhi-Ming Zhang	Further Improvement for Admissibility Analysis of Singular Time-Delay Systems.	IEEE Trans. Syst. Man Cybern. Syst.	2022	DBLP DOI BibTeX RDF
18	Qing-Hao Zhang, Jun-Guo Lu, Jie Xu, Yang-Quan Chen	Solution Analysis and Novel Admissibility Conditions of SFOSs: The 1 α < 2 Case.	IEEE Trans. Syst. Man Cybern. Syst.	2022	DBLP DOI BibTeX RDF
18	Wolfgang Dvorák, Markus Ulbricht 0001, Stefan Woltran	Recursion in Abstract Argumentation is Hard - On the Complexity of Semantics Based on Weak Admissibility.	J. Artif. Intell. Res.	2022	DBLP DOI BibTeX RDF
18	Nikolai Käfer, Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns	Admissibility in Probabilistic Argumentation.	J. Artif. Intell. Res.	2022	DBLP DOI BibTeX RDF
18	Chenning Yu, Hongzhan Yu, Sicun Gao	Learning Control Admissibility Models with Graph Neural Networks for Multi-Agent Navigation.	CoRR	2022	DBLP DOI BibTeX RDF
18	Cristina Y. Morimoto, Aurora T. R. Pozo, Marcílio Carlos Pereira de Souto	An Analysis of the Admissibility of the Objective Functions Applied in Evolutionary Multi-objective Clustering.	CoRR	2022	DBLP DOI BibTeX RDF
18	Arne Decadt, Alexander Erreygers, Jasper De Bock, Gert de Cooman	Decision-making with E-admissibility given a finite assessment of choices.	CoRR	2022	DBLP DOI BibTeX RDF
18	Yohann Bacquey, Jean-Guy Mailly, Pavlos Moraitis, Julien Rossit	Admissibility in Strength-based Argumentation: Complexity and Algorithms (Extended Version with Proofs).	CoRR	2022	DBLP DOI BibTeX RDF
18	Martin Caminada, Sri Harikrishnan	Strong Admissibility, a Tractable Algorithmic Approach (proofs).	CoRR	2022	DBLP DOI BibTeX RDF
18	Amirhossein Akbar Tabatabai, Raheleh Jalali	Universal Proof Theory: Constructive Rules and Feasible Admissibility.	CoRR	2022	DBLP DOI BibTeX RDF
18	Muhammad Shamrooz Aslam, Zhenhua Ma, Rizwan Ullah, Yinya Li, Andong Sheng, Abdul Majid	Stability and admissibility analysis of T-S descriptive systems and its applications.	Soft Comput.	2022	DBLP DOI BibTeX RDF
18	Florian Hörsch	Checking the admissibility of odd-vertex pairings is hard.	Discret. Appl. Math.	2022	DBLP DOI BibTeX RDF
18	Jian-Hua Chen, Lin Fu, Hua-Cheng Zhou	Infinite-Time Admissibility of the Gurtin-Pipkin Systems in Hilbert Spaces.	SIAM J. Control. Optim.	2022	DBLP DOI BibTeX RDF
18	Yang Li 0177, Yong He 0003	Improved Admissibility Analysis of Takagi-Sugeno Fuzzy Singular Systems With Time-Varying Delays.	IEEE Trans. Fuzzy Syst.	2022	DBLP DOI BibTeX RDF
18	Chih-Peng Huang	Admissibility and Design Issues for T-S Fuzzy Descriptor Systems With Perturbed Derivative Matrices in the Rules.	IEEE Trans. Fuzzy Syst.	2022	DBLP DOI BibTeX RDF
18	Stefano Bistarelli, Carlo Taticchi	A Labelling Semantics and Strong Admissibility for Weighted Argumentation Frameworks.	J. Log. Comput.	2022	DBLP DOI BibTeX RDF
18	Guoquan Chen, Minjie Zheng, Shenhua Yang, Lina Li	Admissibility Analysis of a Sampled-Data Singular System Based on the Input Delay Approach.	Complex.	2022	DBLP DOI BibTeX RDF
18	Rodrigo Calhandro, Rui Melício, Victor M. F. Mendes, Pedro Areias	Economic Admissibility Study on Small Hydro.	ICCAD	2022	DBLP DOI BibTeX RDF
18	Yohann Bacquey, Jean-Guy Mailly, Pavlos Moraitis, Julien Rossit	Admissibility in Strength-based Argumentation: Complexity and Algorithms.	JIAF	2022	DBLP BibTeX RDF
18	Laura Calem, Hedi Ben-Younes, Patrick Pérez, Nicolas Thome	Diverse Probabilistic Trajectory Forecasting with Admissibility Constraints.	ICPR	2022	DBLP DOI BibTeX RDF
18	Chenning Yu, Hongzhan Yu, Sicun Gao	Learning Control Admissibility Models with Graph Neural Networks for Multi-Agent Navigation.	CoRL	2022	DBLP BibTeX RDF
18	Martin Caminada, Sri Harikrishnan	Strong Admissibility, a Tractable Algorithmic Approach.	SAFA@COMMA	2022	DBLP BibTeX RDF
18	Wolfgang Dvorák, Tjitze Rienstra, Leendert van der Torre, Stefan Woltran	Non-Admissibility in Abstract Argumentation.	COMMA	2022	DBLP DOI BibTeX RDF
18	Atefeh Keshavarzi Zafarghandi, Wolfgang Dvorák, Rineke Verbrugge, Bart Verheij	How Complex Is the Strong Admissibility Semantics for Abstract Dialectical Frameworks?	COMMA	2022	DBLP DOI BibTeX RDF
18	Yohann Bacquey, Jean-Guy Mailly, Pavlos Moraitis, Julien Rossit	Admissibility in Strength-Based Argumentation: Complexity and Algorithms.	COMMA	2022	DBLP DOI BibTeX RDF
18	Hicham El Aiss, Karina A. Barbosa, Carlos Rodriguez	Input-Output Admissibility Analysis of Continuous Descriptor System With Time-Varying Delay.	IEEE Control. Syst. Lett.	2021	DBLP DOI BibTeX RDF
18	Andrew Beveridge, Ian Calaway	The Voter Basis and the Admissibility of Tree Characters.	Order	2021	DBLP DOI BibTeX RDF