Search results for "PDL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Joseph Boudou	Exponential-Size Model Property for PDL with Separating Parallel Composition.	MFCS (1)	2015	DBLP DOI BibTeX RDF
22	Christiano Braga, Bruno Lopes 0001	Towards Reasoning in Dynamic Logics with Rewriting Logic: The Petri-PDL Case.	SBMF	2015	DBLP DOI BibTeX RDF
22	Takahito Tanimura, Tomofumi Oyama, Hisao Nakashima, Jens C. Rasmussen	PDL-tolerant signal generation by digital spectrum slicing and polarization control.	OFC	2015	DBLP DOI BibTeX RDF
22	Mark Kaminski, Gert Smolka	A Goal-Directed Decision Procedure for Hybrid PDL.	J. Autom. Reason.	2014	DBLP DOI BibTeX RDF
22	Paulo A. S. Veloso, Sheila R. M. Veloso, Mario R. F. Benevides	PDL for structured data: a graph-calculus approach.	Log. J. IGPL	2014	DBLP DOI BibTeX RDF
22	Rajeev Goré	And-Or Tableaux for Fixpoint Logics with Converse: LTL, CTL, PDL and CPDL.	IJCAR	2014	DBLP DOI BibTeX RDF
22	Facundo Carreiro, Yde Venema	PDL Inside the ?-calculus: A Syntactic and an Automata-theoretic Characterization.	Advances in Modal Logic	2014	DBLP BibTeX RDF
22	Pere Pardo, Enrique Sarrión-Morillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada	Efficient Program Transformers for Translating LCC to PDL.	JELIA	2014	DBLP DOI BibTeX RDF
22	Enmei Tu, Jie Yang 0002, Zhenghong Jia, Nikola K. Kasabov	Posterior Distribution Learning (PDL): A Novel Supervised Learning Framework.	ICONIP (1)	2014	DBLP DOI BibTeX RDF
22	Mario R. F. Benevides	Bisimilar and Logically Equivalent Programs in PDL.	LSFA	2013	DBLP DOI BibTeX RDF
22	Jan van Eijck	PDL as a Multi-Agent Strategy Logic.	CoRR	2013	DBLP BibTeX RDF
22	Philippe Balbiani, Emiliano Lorini	Ockhamist Propositional Dynamic Logic: A Natural Link between PDL and CTL.	WoLLIC	2013	DBLP DOI BibTeX RDF
22	Philippe Balbiani, Andreas Herzig, Nicolas Troquard	Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL.	LICS	2013	DBLP DOI BibTeX RDF
22	Jan van Eijck	PDL as a Multi-Agent Strategy Logic.	TARK	2013	DBLP BibTeX RDF
22	Mahdi Zamani, Zhuhong Zhang, Chen Chen, Chuandong Li 0002	PDL compensation using whitening matrix in polarization division multiplexed coherent optical transmission.	OFC/NFOEC	2013	DBLP BibTeX RDF
22	Olga Vassilieva, Shoichiro Oda, Takeshi Hoshida, Jens C. Rasmussen, Motoyoshi Sekiya	Experimental investigation of the statistics of the interplay between nonlinear and PDL effects in polarization multiplexed systems.	OFC/NFOEC	2013	DBLP BibTeX RDF
22	Linh Anh Nguyen	Cut-Free ExpTime Tableaux for Converse-PDL Extended with Regular Inclusion Axioms.	KES-AMSTA	2013	DBLP DOI BibTeX RDF
22	Agathoklis Kritsimallis, Chrysafis Hartonas	Tableaux for type PDL.	BCI	2013	DBLP DOI BibTeX RDF
22	Anudhyan Boral, Sylvain Schmitz	PDL Model Checking of Parse Forests	CoRR	2012	DBLP BibTeX RDF
22	Xinxin Liu, Bingtian Xue	Specification in PDL with Recursion.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
22	Mark Kaminski, Gert Smolka	Clausal Tableaux for Hybrid PDL.	M4M/LAMAS	2011	DBLP DOI BibTeX RDF
22	Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego	A PDL Approach for Qualitative Velocity.	Int. J. Uncertain. Fuzziness Knowl. Based Syst.	2011	DBLP DOI BibTeX RDF
22	Linh Anh Nguyen	A Cut-Free ExpTime Tableau Decision Procedure for the Logic Extending Converse-PDL with Regular Inclusion Axioms	CoRR	2011	DBLP BibTeX RDF
22	Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas	Converse-PDL with regular inclusion axioms: a framework for MAS logics.	J. Appl. Non Class. Logics	2011	DBLP DOI BibTeX RDF
22	Peter David Shannon, Chrystopher L. Nehaniv	Evolving robot controllers in PDL using genetic programming.	ALIFE	2011	DBLP DOI BibTeX RDF
22	Linh Anh Nguyen, Andrzej Szalas	Checking Consistency of an ABox w.r.t. Global Assumptions in PDL.	Fundam. Informaticae	2010	DBLP DOI BibTeX RDF
22	Lu Ming, Yang Kui	Research on IDSS of PDL Station Location Based on GRA Theory.	ICEE	2010	DBLP DOI BibTeX RDF
22	Stefan Göller, Markus Lohrey, Carsten Lutz	PDL with intersection and converse: satisfiability and infinite-state model checking.	J. Symb. Log.	2009	DBLP DOI BibTeX RDF
22	Linh Anh Nguyen, Andrzej Szalas	Optimal Tableau Decision Procedures for PDL	CoRR	2009	DBLP BibTeX RDF
22	Gerard R. Renardel de Lavalette, Barteld P. Kooi, Rineke Verbrugge	Strong Completeness and Limited Canonicity for PDL.	J. Log. Lang. Inf.	2009	DBLP DOI BibTeX RDF
22	Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego	Closeness and Distance Relations in Order of Magnitude Qualitative Reasoning via PDL.	CAEPIA	2009	DBLP DOI BibTeX RDF
22	Rajeev Goré, Florian Widmann	An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability.	CADE	2009	DBLP DOI BibTeX RDF
22	Stefan Göller, Dirk Nowotka	A note on an extension of PDL.	J. Appl. Log.	2008	DBLP DOI BibTeX RDF
22	Gerard R. Renardel de Lavalette, Barteld P. Kooi, Rineke Verbrugge	Strong Completeness and Limited Canonicity for PDL.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	Canonical model, Model disharmony, Propositional dynamic logic, Strong completeness
22	Pietro Abate, Rajeev Goré, Florian Widmann	An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability.	M4M	2007	DBLP DOI BibTeX RDF
22	Pietro Abate, Rajeev Goré, Florian Widmann	An On-the-fly Tableau-based Decision Procedure for PDL-Satisfiability	CoRR	2007	DBLP BibTeX RDF
22	Stefan Göller, Dirk Nowotka	On a Non-Context-Free Extension of PDL	CoRR	2007	DBLP BibTeX RDF
22	Stefan Göller, Markus Lohrey, Carsten Lutz	PDL with Intersection and Converse is 2EXP-complete.	Algorithmic-Logical Theory of Infinite Structures	2007	DBLP BibTeX RDF
22	Linh Anh Nguyen	On the Deterministic Horn Fragment of Test-free PDL.	Advances in Modal Logic	2006	DBLP BibTeX RDF
22	Laure Bourgois, Alexandre Delteil, François Lévy	Web Services Subsumption with a Specific PDL.	AICT/ICIW	2006	DBLP DOI BibTeX RDF
22	Loredana Afanasiev, Patrick Blackburn, Ioanna Dimitriou, Bertrand Gaiffe, Evan Goris, Maarten Marx, Maarten de Rijke	PDL for Ordered Trees.	J. Appl. Non Class. Logics	2005	DBLP DOI BibTeX RDF
22	Carsten Lutz, Dirk Walther 0002	PDL with Negation of Atomic Programs.	J. Appl. Non Class. Logics	2005	DBLP DOI BibTeX RDF
22	Stéphane Demri	A Reduction from DLP to PDL.	J. Log. Comput.	2005	DBLP DOI BibTeX RDF
22		Retraction note for "PDL has interpolation".	J. Symb. Log.	2004	DBLP DOI BibTeX RDF
22	Philippe Balbiani	Eliminating Unorthodox Derivation Rules in an Axiom System for Iteration-free PDL with Intersection.	Fundam. Informaticae	2003	DBLP BibTeX RDF
22	Philippe Balbiani, Dimiter Vakarelov	PDL with Intersection of Programs: A Complete Axiomatization.	J. Appl. Non Class. Logics	2003	DBLP DOI BibTeX RDF
22	M. Lange	Satisfiability and Completeness of Converse-PDL Replayed.	KI	2003	DBLP DOI BibTeX RDF
22		PDL Has Interpolation.	J. Symb. Log.	2002	DBLP DOI BibTeX RDF
22	Philippe Balbiani, Dimiter Vakarelov	Iteration-free PDL with Intersection: a Complete Axiomatization.	Fundam. Informaticae	2001	DBLP BibTeX RDF
22	Jian Li, Tze-Yun Leong	PDL: a definition language for trend pattern representation and detection in medicine.	AMIA	2001	DBLP BibTeX RDF
22	Frank Wolter	The product of converse PDL and polymodal K.	J. Log. Comput.	2000	DBLP DOI BibTeX RDF
22	Giuseppe De Giacomo, Fabio Massacci	Combining Deduction and Model Checking into Tableaux and Algorithms for Converse-PDL.	Inf. Comput.	2000	DBLP DOI BibTeX RDF
22	Chulwoo Kim, Seong-Ook Jung, Kwang-Hyun Baek, Sung-Mo Kang	Parallel dynamic logic (PDL) with speed-enhanced skewed static (SSS) logic.	ISCAS	2000	DBLP DOI BibTeX RDF
22	Ranga Vemuri, Ram Manday, Vijay Meduri	Performance Modeling Using PDL.	Computer	1996	DBLP DOI BibTeX RDF
22	Alain J. Mayer, Larry J. Stockmeyer	The Complexity of PDL with Interleaving.	Theor. Comput. Sci.	1996	DBLP DOI BibTeX RDF
22	Giuseppe De Giacomo	Eliminating "Converse" from Converse PDL.	J. Log. Lang. Inf.	1996	DBLP DOI BibTeX RDF
22	David Harel, Eli Singerman	More on Nonregular PDL: Finite Models and Fibonacci-Like Programs.	Inf. Comput.	1996	DBLP DOI BibTeX RDF
22	David Harel, Eli Singerman	More on Nonregular PDL: Expressive Power, Finite Models, Fibonacci Programs.	ISTCS	1995	DBLP DOI BibTeX RDF
22	Giuseppe De Giacomo, Maurizio Lenzerini	PDL-based framework for reasoning about actions.	AI*IA	1995	DBLP DOI BibTeX RDF
22	H. Arnarson, Louis-François Pau	PDL-HM: morphological and syntactic shape classification algorithm - Real-time application to fish species classification.	Mach. Vis. Appl.	1994	DBLP DOI BibTeX RDF
22	A. Wilm	Determinism and Non-determinism in PDL.	Theor. Comput. Sci.	1991	DBLP DOI BibTeX RDF
22	Katsuro Inoue, Hajimu Iida, Koji Torii	Design and Implementation of process-centered environments based on process language PDL and formal grammar.	ISPW	1991	DBLP DOI BibTeX RDF
22	Sven Ove Hansson	Preference-based deontic logic (PDL).	J. Philos. Log.	1990	DBLP DOI BibTeX RDF
22	Paul W. Oman, Curtis R. Cook	Design and code traceability using a PDL metrics tool.	J. Syst. Softw.	1990	DBLP DOI BibTeX RDF
22	David L. Remkes, Kurt M. Gutzmann, Frank E. Sizer	Automated test support for Ada PDL.	WADAS	1989	DBLP DOI BibTeX RDF
22	Bikas K. Das	A knowledge-based approach to the analysis of code and program design language (PDL).	ICSM	1989	DBLP DOI BibTeX RDF
22	George Gargov, Solomon Passy	Determinism and Looping in Combinatory PDL.	Theor. Comput. Sci.	1988	DBLP DOI BibTeX RDF
22	Haywood S. Osborne	The generation of Ada and an associated PDL from a higher-level representation.	WADAS	1987	DBLP BibTeX RDF
22	Solomon Passy, Tinko Tinchev	PDL with Data Constants.	Inf. Process. Lett.	1985	DBLP DOI BibTeX RDF
22	Dexter Kozen	A Probabilistic PDL.	J. Comput. Syst. Sci.	1985	DBLP DOI BibTeX RDF
22	Solomon Passy, Tinko Tinchev	Quantifiers in combinatory PDL: completeness, definability, incompleteness.	FCT	1985	DBLP DOI BibTeX RDF
22	David Harel, Mike Paterson	Undecidability of PDL with L={a^(2i)\|i>=0}.	J. Comput. Syst. Sci.	1984	DBLP DOI BibTeX RDF
22	Rivi Sherman, Amir Pnueli, David Harel	Is the Interesting Part of Process Logic Uninteresting? A Translation from PL to PDL.	SIAM J. Comput.	1984	DBLP DOI BibTeX RDF
22	Slavian Radev	Extension of PDL and consequence relations.	Symposium on Computation Theory	1984	DBLP DOI BibTeX RDF
22	Dexter Kozen	A Probabilistic PDL	STOC	1983	DBLP DOI BibTeX RDF
22	Dexter Kozen, Rohit Parikh	An Elementary Proof of the Completness of PDL.	Theor. Comput. Sci.	1981	DBLP DOI BibTeX RDF
22	Jean E. Sammet, Douglas W. Waugh, Robert W. Reiter Jr.	PDL/Ada - a design language based on Ada.	ACM Annual Conference	1981	DBLP DOI BibTeX RDF
22	Vaughan R. Pratt	Using Graphs to Understand PDL.	Logic of Programs	1981	DBLP DOI BibTeX RDF
22	Stephen H. Caine, E. Kent Gordon	PDL: a tool for software design.	AFIPS National Computer Conference	1975	DBLP DOI BibTeX RDF
15	Cristian Prisacariu, Gerardo Schneider	Abstract specification of legal contracts.	ICAIL	2009	DBLP DOI BibTeX RDF
15	Natthapong Jungteerapanich	A Tableau System for the Modal µ-Calculus.	TABLEAUX	2009	DBLP DOI BibTeX RDF
15	Yi Zhou 0013, Yan Zhang 0003	Modeling Abstract Behavior: A Dynamic Logic Approach.	Australasian Conference on Artificial Intelligence	2009	DBLP DOI BibTeX RDF
15	Daniel Leivant	Reasoning in Dynamic Logic about Program Termination.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
15	Radu Mateescu 0001, Pedro T. Monteiro 0001, Estelle Dumas, Hidde de Jong	Computation Tree Regular Logic for Genetic Regulatory Networks.	ATVA	2008	DBLP DOI BibTeX RDF
15	Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker	Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning.	CONCUR	2008	DBLP DOI BibTeX RDF
15	Dietmar Berwanger, Erich Grädel, Giacomo Lenzi	The Variable Hierarchy of the µ-Calculus Is Strict.	Theory Comput. Syst.	2007	DBLP DOI BibTeX RDF
15	Dakshi Agrawal, Seraphin B. Calo, Kang-Won Lee, Jorge Lobo 0001	Issues in Designing a Policy Language for Distributed Management of IT Infrastructures.	Integrated Network Management	2007	DBLP DOI BibTeX RDF
15	Pietro Abate, Rajeev Goré, Florian Widmann	One-Pass Tableaux for Computation Tree Logic.	LPAR	2007	DBLP DOI BibTeX RDF
15	Dmitry Bugaychenko, Igor Soloviev	MASL: A Logic for the Specification of Multiagent Real-Time Systems.	CEEMAS	2007	DBLP DOI BibTeX RDF
15	Matthias Kuntz, Boudewijn R. Haverkort	Faster SPDL Model Checking Through Property-Driven State Space Generation.	EPEW	2007	DBLP DOI BibTeX RDF
15	Fabio Giannetti, Luiz Gustavo Fernandes, Rogerio Timmers, Thiago Nunes, Mateus Raeder, Márcio Castro 0001	High performance XSL-FO rendering for variable data printing.	SAC	2006	DBLP DOI BibTeX RDF	FOP, PPML/T, PRL, VDP, thread-safe, high performance, XSL-FO, PPML
15	Matthias Kuntz, Markus Siegle	Symbolic Model Checking of Stochastic Systems: Theory and Implementation.	SPIN	2006	DBLP DOI BibTeX RDF	performance and dependability analysis, model checking software, symbolic model checking, Stochastic systems
15	Andreas Herzig, Tiago de Lima	Epistemic Actions and Ontic Actions: A Unified Logical Framework.	IBERAMIA-SBIA	2006	DBLP DOI BibTeX RDF
15	Tim French 0002	Bisimulation Quantified Logics: Undecidability.	FSTTCS	2005	DBLP DOI BibTeX RDF
15	Renate A. Schmidt, Dmitry Tishkovsky	Multi-Agent Dynamic Logics with Informational Test.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF
15	Daniel Leivant	Proving Termination Assertions in Dynamic Logics.	LICS	2004	DBLP DOI BibTeX RDF
15	Massimo Marchi, Alessandra Mileo, Alessandro Provetti	Specification and Execution of Policies for Grid Service Selection.	ICWS	2004	DBLP DOI BibTeX RDF	Abstractions and languages for policy specification, Grid Services, policy based networking
15	Jan Chomicki, Jorge Lobo 0001, Shamim A. Naqvi	Conflict Resolution Using Logic Programming.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	action constraint, Policy, event, conflict resolution, action, active rules
15	Murali Rangarajan, Kshama Jambhekar, Amitvikram Rajkhowa, Perry Alexander	VSPEC and Its Integrated Tool Suite.	ECBS	2002	DBLP DOI BibTeX RDF	VSPEC, Constraints Verification, Requirements Analysis, Functional Verification, Test Vector Generation
15	Renate A. Schmidt, Dmitry Tishkovsky	Multi-agent Logics of Dynamic Belief and Knowledge.	JELIA	2002	DBLP DOI BibTeX RDF