default search action
20th ECAI 2012: Montpellier, France
- Luc De Raedt, Christian Bessiere, Didier Dubois, Patrick Doherty, Paolo Frasconi, Fredrik Heintz, Peter J. F. Lucas:
ECAI 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track, Montpellier, France, August 27-31 , 2012. Frontiers in Artificial Intelligence and Applications 242, IOS Press 2012, ISBN 978-1-61499-097-0
Keynote Talks
- Wolfram Burgard:
Probabilistic Techniques for Mobile Robot Navigation. 3 - Adnan Darwiche:
Generalized Decision Diagrams: The game is not over yet! 4 - Tom M. Mitchell:
Never Ending Learning. 5 - Michael J. Wooldridge:
Bad equilibria (and what to do about them). 6-11
Frontiers of Artificial Intelligence
- Elizabeth Black
, Anthony Hunter
Executable Logic for Dialogical Argumentation. 15-20 - Simon Colton, Geraint A. Wiggins
Computational Creativity: The Final Frontier? 21-26 - Gert de Cooman
Recent advances in imprecise-probabilistic graphical models. 27-32 - Kristian Kersting:
Lifted Probabilistic Inference. 33-38 - Pierre-Yves Oudeyer:
Developmental Mechanisms for Autonomous Life-Long Learning in Robots. 39 - Jan Peters
Robot Skill Learning. 40-45
ECAI Long Papers
- Thomas Ågotnes, Wiebe van der Hoek
Conservative Social Laws. 49-54 - Jean-Marc Alliot, Nicolas Durand
Finding and Proving the Optimum: Cooperative Stochastic and Deterministic Search. 55-60 - Alessandro Artale, Vladislav Ryzhikov, Roman Kontchakov
DL-Lite with Attributes and Datatypes. 61-66 - Andreas Arzt, Gerhard Widmer
Towards a Complete Classical Music Companion. 67-72 - Markus Aschinger, Conrad Drescher, Heribert Vollmer
LoCo - A Logic for Configuration Problems. 73-78 - Hosein Azarbonyad, Azadeh Shakery, Heshaam Faili:
Using Learning to Rank Approach for Parallel Corpora Based Cross Language Information Retrieval. 79-84 - Christer Bäckström, Anders Jonsson
Macros, Reactive Plans and Compact Representations. 85-90 - Christer Bäckström, Anders Jonsson
From Macro Plans to Automata Plans. 91-96 - Liviu Badea:
Multirelational Consensus Clustering with Nonnegative Decompositions. 97-102 - Babak Bagheri Hariri, Diego Calvanese
Verification of Description Logic Knowledge and Action Bases. 103-108 - Hendrik Baier, Mark H. M. Winands
Nested Monte-Carlo Tree Search for Online Planning in Large MDPs. 109-114 - Gabriele Barbieri, François Pachet, Pierre Roy, Mirko Degli Esposti:
Markov Constraints for Generating Lyrics with Style. 115-120 - Karel Bartos, Martin Rehák:
Trust-based Solution for Robust Self-configuration of Distributed Intrusion Detection Systems. 121-126 - Ringo Baumann:
What Does it Take to Enforce an Argument? Minimal Change in abstract Argumentation. 127-132 - Dorothea Baumeister, Magnus Roos, Jörg Rothe, Lena Schend, Lirong Xia
The Possible Winner Problem with Uncertain Weights. 133-138 - Daniel Beck, Gerhard Lakemeyer:
Representing Value Functions with Recurrent Binary Decision Diagrams. 139-144 - Nicolas Beldiceanu, Mats Carlsson, Thierry Petit, Jean-Charles Régin:
An O(nlog n) Bound Consistency Algorithm for the Conjunction of an alldifferent and an Inequality between a Sum of Variables and a Constant, and its Generalization. 145-150 - Salem Benferhat
Hybrid Possibilistic Conditioning for Revision under Weighted Inputs. 151-156 - Salem Benferhat
Three-valued possibilistic networks. 157-162 - Christoph Benzmüller
Implementing and Evaluating Provers for First-order Modal Logics. 163-168 - Reinaldo A. C. Bianchi
Heuristically Accelerated Reinforcement Learning: Theoretical and Experimental Results. 169-174 - Yngvi Björnsson:
Learning Rules of Simplified Boardgames by Observing. 175-180 - Mathieu Bonneau, Nathalie Peyrard, Régis Sabbadin
A Reinforcement-Learning Algorithm for Sampling Design in Markov Random Fields. 181-186 - Grégory Bonnet:
A Protocol Based on a Game-Theoretic Dilemma to Prevent Malicious Coalitions in Reputation Systems. 187-192 - Branislav Bosanský, Christopher Kiekintveld, Viliam Lisý
Iterative Algorithm for Solving Two-player Zero-sum Extensive-form Games with Imperfect Information. 193-198 - Davide Bresolin
Interval Temporal Logics over Finite Linear Orders: the Complete Picture. 199-204 - Elena Cabrio, Serena Villata:
Natural Language Arguments: A Combined Approach. 205-210 - Anaïs Cadilhac, Nicholas Asher, Farah Benamara
Preference Extraction From Negotiation Dialogues. 211-216 - Michael Cashmore, Maria Fox
Planning as Quantified Boolean Formula. 217-222 - Jesús Cerquides
Speeding Up 2-way Number Partitioning. 223-227 - Siqi Chen, Gerhard Weiss:
An Efficient and Adaptive Approach to Negotiation in Complex Environments. 228-233 - Malumbo Chipofya
Combining DRA and CYC into a Network Friendly Calculus. 234-239 - Lukás Chrpa, Thomas Leo McCluskey
On Exploiting Structures of Classical Planning Problems: Generalizing Entanglements. 240-245 - Javier Coego
Ideal Point Guided Iterative Deepening. 246-251 - Amanda Jane Coles
Opportunistic Branched Plans to Maximise Utility in the Presence of Resource Uncertainty. 252-257 - Emmanuel Coquery, Saïd Jabbour, Lakhdar Saïs, Yakoub Salhi
A SAT-Based Approach for Discovering Frequent, Closed and Maximal Patterns in a Sequence. 258-263 - Giorgio Corani
Compression-based AODE Classifiers. 264-269 - Denis Cornaz, Lucie Galand, Olivier Spanjaard:
Bounded Single-Peaked Width and Proportional Representation. 270-275 - William Fernando Correa, Henri Prade, Gilles Richard:
When intelligence is just a matter of copying. 276-281 - Luca Costabello, Serena Villata, Fabien Gandon:
Context-Aware Access Control for RDF Graph Stores. 282-287 - Miguel Couceiro
Decision-making with Sugeno integrals: DMU vs. MCDM. 288-293 - Krzysztof Dembczynski
An Analysis of Chaining in Multi-Label Classification. 294-299 - Thach-Thao Duong
A Study of Local Minimum Avoidance Heuristics for SAT. 300-305 - Stefan Edelkamp, Peter Kissmann, Álvaro Torralba
Symbolic A* Search with Pattern Databases and the Merge-and-Shrink Abstraction. 306-311 - Patrick Eyerich:
Preferring Properly: Increasing Coverage while Maintaining Quality in Anytime Temporal Planning. 312-317 - Piotr Faliszewski
Weighted Manipulation for Four-Candidate Llull Is Easy. 318-323 - Xiuyi Fan, Francesca Toni
Agent Strategies for ABA-based Information-seeking and Inquiry Dialogues. 324-329 - Maier Fenster, Inon Zuckerman, Sarit Kraus
Guiding User Choice During Discussion by Silence, Examples and Justifications. 330-335 - Olivier Ferret:
Combining Bootstrapping and Feature Selection for Improving a Distributional Thesaurus. 336-341 - Yang Gao, Francesca Toni
Argumentation-Based Reinforcement Learning for RoboCup Soccer Keepaway. 342-347 - Alfonso Gerevini
Case-based Planning for Problems with Real-valued Fluents: Kernel Functions for Effective Plan Retrieval. 348-353 - Mehmet Gönen
A Bayesian Multiple Kernel Learning Framework for Single and Multiple Output Regression. 354-359 - Laurent Gourvès, Jérôme Monnot, Lydia Tlilane:
Approximate Tradeoffs on Matroids. 360-365 - Gianluigi Greco
Process Discovery via Precedence Constraints. 366-371 - Gianluigi Greco
Hard and Easy k-Typed Compact Coalitional Games: The Knowledge of Player Types Marks the Boundary. 372-377 - Alon Grubshtein, Roie Zivan, Amnon Meisels:
Partial Cooperation in Multi-agent Local Search. 378-383 - António Gusmão, Tapani Raiko
Towards Generalizing the Success of Monte-Carlo Tree Search beyond the Game of Go. 384-389 - Víctor Gutiérrez-Basulto, Jean Christoph Jung
Complexity of Branching Temporal Description Logics. 390-395 - Edith Hemaspaandra, Lane A. Hemaspaandra
Online Voter Control in Sequential Elections. 396-401 - Andreas Hertle, Christian Dornhege, Thomas Keller
Planning with Semantic Attachments: An Object-Oriented View. 402-407 - Samuel Hiard, Pierre Geurts, Louis Wehenkel
Comparator selection for RPC with many labels. 408-413 - Greg Hines, Talal Rahwan
An Anytime Algorithm for Finding the ?-Core in Nontransferable Utility Coalitional Games. 414-419 - Birgit Hofer
Spectrum Enhanced Dynamic Slicing for better Fault Localization. 420-425 - Jinbo Huang:
SAT vs. Search for Qualitative Temporal Reasoning. 426-431 - Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
Symmetries in Itemset Mining. 432-437 - Wojciech Jamroga
Concepts, Agents, and Coalitions in Alternating Time. 438-443 - Ernesto Jiménez-Ruiz
Large-scale Interactive Ontology Matching: Algorithms and Implementation. 444-449 - Souhila Kaci:
Characterization of Positive and Negative Information in Comparative Preference Representation. 450-455 - Gabriele Kern-Isberner, Matthias Thimm:
A Ranking Semantics for First-Order Conditionals. 456-461 - David Kinny:
A New Approach to the Snake-In-The-Box Problem. 462-467 - Sarit Kraus
Delegating Decisions in Strategic Settings. 468-473 - Matthias Knorr
Reconciling OWL and Non-monotonic Rules for the Semantic Web. 474-479 - Lars Kotthoff
Hybrid Regression-Classification Models for Algorithm Selection. 480-485 - Christophe Labreuche, Nicolas Maudet, Wassila Ouerdane
Justifying Dominating Options when Preferential Information is Incomplete. 486-491 - Martin Lackner
Fixed-Parameter Algorithms for Closed World Reasoning. 492-497 - Gerhard Lakemeyer, Yves Lespérance:
Efficient Reasoning in Multiagent Epistemic Logics. 498-503 - Jérôme Lang, Bruno Zanuttini:
Knowledge-Based Programs as Plans - The Complexity of Plan Verification. 504-509 - Christophe Lecoutre, Chavalit Likitvivatanavong, Roland H. C. Yap:
A Path-Optimal GAC Algorithm for Table Constraints. 510-515 - Maurizio Lenzerini
Updating inconsistent Description Logic knowledge bases. 516-521 - Julien Lesca, Patrice Perny:
Almost-truthful Mechanisms for Fair Social Choice Functions. 522-527 - Minyi Li
Choosing Combinatorial Social Choice by Heuristic Search. 528-533 - Nan Li, Abraham Schreiber, William W. Cohen, Kenneth R. Koedinger:
Creating Features from a Learned Grammar in a Simulated Student. 534-539 - Nir Lipovetzky
Width and Serialization of Classical Planning Problems. 540-545 - Viliam Lisý
Game-theoretic Approach to Adversarial Plan Recognition. 546-551 - Weiming Liu, Sanjiang Li
Here, There, but Not Everywhere: An Extended Framework for Qualitative Constraint Satisfaction. 552-557 - Thomas Lukasiewicz, Maria Vanina Martinez
Inconsistency Handling in Datalog+/- Ontologies. 558-563 - Charles Lumet, Sylvain Bouveret, Michel Lemaître:
Fair Division of Indivisible Goods under Risk. 564-569 - Chuan Luo, Kaile Su
Improving Local Search for Random 3-SAT Using Quantitative Configuration Checking. 570-575 - Samhar Mahmoud, Nathan Griffiths, Jeroen Keppens
Efficient Norm Emergence through Experiential Dynamic Punishment. 576-581 - Wolfgang Mayer
On computing correct processes and repairs sing partial behavioral models. 582-587 - Vera Mersheeva, Gerhard Friedrich:
Routing for Continuous Monitoring by Multiple Micro AVs in Disaster Scenarios. 588-593 - Roberto Micalizio
Diagnosing Delays in Multi-Agent Plans Execution. 594-599 - Tanvi S. Motwani, Raymond J. Mooney:
Improving Video Activity Recognition using Object Recognition and Text Mining. 600-605 - Felix Müller, Christian Späth, Thomas Geier, Susanne Biundo:
Exploiting Expert Knowledge in Factored POMDPs. 606-611 - Nina Narodytska, Toby Walsh, Lirong Xia
Combining Voting Rules Together. 612-617 - Nadeschda Nikitina, Sebastian Rudolph
ExpExpExplosion: Uniform Interpolation in General EL Terminologies. 618-623 - Raz Nissim, Udi Apsel, Ronen I. Brafman
Tunneling and Decomposition-Based State Reduction for Optimal Planning. 624-629 - Lhouari Nourine, Jean-Marc Petit
Extending Set-based Dualization: Application to Pattern Mining. 630-635 - Özgür L. Özçep, Rolf Grütter, Ralf Möller
Nearness Rules and Scaled Proximity. 636-641 - Antonio Penta, Gianluca Quercini, Chantal Reynaud, Nigel Shadbolt:
Discovering Cross-language Links in Wikipedia through Semantic Relatedness. 642-647 - Ingo Pill
Optimizations for the Boolean Approach to Computing Minimal Hitting Sets. 648-653 - Gianvito Pio
Hierarchical and Overlapping Co-Clustering of mRNA: miRNA Interactions. 654-659 - James Pita, Richard John, Rajiv T. Maheswaran, Milind Tambe, Sarit Kraus
A Robust Approach to Addressing Human Adversaries in Security Games. 660-665 - Marco Ragni
Solving Raven's IQ-tests: An AI and Cognitive Modeling Approach. 666-671 - Reyhaneh Reyhani, Mark C. Wilson
Best Reply Dynamics for Scoring Rules. 672-677 - Jussi Rintanen
Complexity of Conditional Planning under Partial Observability and Infinite Executions. 678-683 - Jussi Rintanen
Engineering Efficient Planners with SAT. 684-689 - Igor Rochlin, David Sarne, Moshe Laifenfeld:
Coordinated Exploration with a Shared Goal in Costly Environments. 690-695 - Ji Ruan, Michael Thielscher
Strategic and Epistemic Reasoning for the Game Description Language GDL-II. 696-701 - Salvatore Ruggieri:
Deciding Membership in a Class of Polyhedra. 702-707 - Abdallah Saffidine, Tristan Cazenave:
Multiple-Outcome Proof Number Search. 708-713 - David Sanderson
Institutionalised Paxos Consensus. 714-719 - Ognjen Savkovic, Diego Calvanese
Introducing Datatypes in DL-Lite. 720-725 - Steven Schockaert
Convex Solutions of RCC8 Networks. 726-731 - Andreas Sideris, Yannis Dimopoulos
Propositional Planning as Optimization. 732-737 - Ilias Tachmazidis
Large-scale Parallel Stratified Defeasible Reasoning. 738-743 - Florent Teichteil-Königsbuch:
Path-Constrained Markov Decision Processes: bridging the gap between probabilistic model-checking and decision-theoretic planning. 744-749 - Matthias Thimm:
A Probabilistic Semantics for abstract Argumentation. 750-755 - Alice Toniolo
An Empirical Study of Argumentation Schemes for Deliberative Dialogue. 756-761 - Alejandro Torreño
An approach to multi-agent planning with incomplete information. 762-767 - Long Tran-Thanh, Sebastian Stein
Efficient Crowdsourcing of Unknown Experts using Multi-Armed Bandits. 768-773 - Tony T. Tran, J. Christopher Beck:
Logic-based Benders Decomposition for Alternative Resource Scheduling with Sequence Dependent Setups. 774-779 - Kateryna Tymoshenko, Swapna Somasundaran, Vinodkumar Prabhakaran, Vinay D. Shet:
Relation Mining in the Biomedical Domain using Entity-level Semantics. 780-785 - Richard Anthony Valenzano, Hootan Nakhost, Martin Müller, Jonathan Schaeffer, Nathan R. Sturtevant:
ArvandHerd: Parallel Planning with a Portfolio. 786-791 - Pascal Van Hentenryck, Nabeel Gillani, Carleton Coffrin:
Joint Assessment and Restoration of Power Systems. 792-797 - Remi van Trijp:
Self-Assessing Agents for Explaining Language Change: A Case Study in German. 798-803 - Theodoros Varvadoukas, Ioannis Giotis, Stasinos Konstantopoulos
Detecting Human Patterns in Laser Range Data. 804-809 - Srdjan Vesic:
Maxi-Consistent Operators in Argumentation. 810-815 - Ioannis A. Vetsikas, Sebastian Stein
Multi-unit Auctions with a Stochastic Number of Asymmetric Bidders. 816-821 - Tim vor der Brück, Yu-Fang Helena Wang:
Synonymy Extraction From Semantic Networks Using String and Graph Kernel Methods. 822-827 - Paul Weng:
Ordinal Decision Models for Markov Decision Processes. 828-833 - Colin R. Williams, Valentin Robu
Negotiating Concurrently with Unknown Opponents in omplex, Real-Time Domains. 834-839 - Brandon Wilson, Inon Zuckerman
Improving Local Decisions in Adversarial Search. 840-845 - Michel Wilson, Cees Witteveen, Bob Huisman:
Enhancing predictability of schedules by task grouping. 846-851 - Nic Wilson
Importance-based Semantics of Polynomial Comparative Peference Inference. 852-857 - Feng Wu
Sample-Based Policy Iteration for Constrained DEC-POMDPs. 858-863 - Guohui Xiao
Inconsistency Measurement based on Variables in Minimal Unsatisfiable Subsets. 864-869 - Han Xiao, Huang Xiao, Claudia Eckert:
Adversarial Label Flips Attack on Support Vector Machines. 870-875 - Xiao Zhang, Baojun Qiu, Prasenjit Mitra, Sen Xu, Alexander Klippel
Disambiguating Road Names in Text Route Descriptions using Exact-All-Hop Shortest Path Algorithm. 876-881 - Dengji Zhao, Dongmo Zhang, Laurent Perrussel:
Multi-unit Double Auction under Group Buying. 882-887
ECAI Short Papers
- Yusra Alkhazraji, Martin Wehrle, Robert Mattmüller, Malte Helmert
A Stubborn Set Algorithm for Optimal Planning. 891-892 - Philippe Besnard, Éric Grégoire, Sébastien Ramon:
Preemption Operators. 893-894 - Guido Boella, Leendert W. N. van der Torre
Reasoning for Agreement Technologies. 895-896 - Razvan C. Bunescu:
An Adaptive Clustering Model that Integrates Expert Rules and N-gram Statistics for Coreference Resolution. 897-898 - Debasish Das, Evan Kodra, Zoran Obradovic, Auroop R. Ganguly:
Mining Extremes: Severe Rainfall and Climate Change. 899-900 - Valeria Fionda, Giuseppe Pirrò
CAKES: Cross-lingual Wikipedia Knowledge Enrichment and Summarization. 901-902 - Patricia Gutierrez, Pedro Meseguer:
A Novel Way to Connect BnB-ADOPT+, with Soft AC. 903-904 - Edith Hemaspaandra, Lane A. Hemaspaandra
Controlling Candidate-Sequential Elections. 905-906 - Jinbo Huang:
Implementation of Critical Path Heuristics for SAT. 907-908 - Pavel Krömer
Evolutionary Clustering on CUDA. 909-910 - Olivier Lhomme:
Practical Reformulations With Table Constraints. 911-912 - Ruben Martins, Vasco Manquinho
On Partitioning for Maximum Satisfiability. 913-914 - Hugo Gonçalo Oliveira
Ontologising Semantic Relations into a Relationless Thesaurus. 915-916 - Lars Otten, Rina Dechter:
Advances in Distributed Branch and Bound. 917-918 - Thierry Petit:
Intermediary Local Consistencies. 919-920 - Daniele Porello
The Consistency of Majority Rule. 921-922 - Anja Rey, Jörg Rothe:
Probabilistic Path-Disruption Games. 923-924 - Carl Schultz
Towards a Declarative Spatial Reasoning System. 925-926 - Pavel Surynek
An Alternative Eager Encoding of the All-Different Constraint over Bit-Vectors. 927-928 - David Tolpin, Solomon Eyal Shimony:
VOI-aware MCTS. 929-930 - Björn Zenker:
Approximation of Steiner Minimum Trees in Euclidean Planar Graphs Using Euclidian Steiner Minimum Trees. 931-932 - Zhangquan Zhou, Guilin Qi, Chang Liu, Pascal Hitzler, Raghava Mutharaju:
Reasoning with Fuzzy-EL+ Ontologies Using MapReduce. 933-934
PAIS Papers
- Bruno Antunes, Joel Cordeiro, Paulo Gomes:
Context-Based Search in Software Development. 937-942 - Alexander Artikis
Event Processing for Intelligent Resource Management. 943-948 - Eddy C. Borera, Brett L. Moore, Larry D. Pyeatt:
Partially Observable Markov Decision Process for Closed-Loop Anesthesia Control. 949-954 - Caroline Ponzoni Carvalho Chanel, Florent Teichteil-Königsbuch, Charles Lesire:
POMDP-based online target detection and recognition for autonomous UAVs. 955-960 - Álvaro Fialho, Youssef Hamadi, Marc Schoenauer
A Multi-objective Approach to Balance Buildings Construction Cost and Energy Efficiency. 961-966 - Katia Lida Kermanidis, Panagiotis Pandis, Costas Boletsis
LSA for Mining Hidden Information in Action Game Semantics. 967-968 - Ramachandra Kota, Georgios Chalkiadakis
Cooperatives for Demand Side Management. 969-974 - Orlando Ohashi, Luís Torgo
Wind speed forecasting using spatio-temporal indicators. 975-980 - Athanasios Aris Panagopoulos, Georgios Chalkiadakis
Predicting the Power Output of Distributed Renewable Energy Resources within a Broad Geographical Region. 981-986 - Olivier Pietquin, Fabio Tango:
A Reinforcement Learning Approach to Optimize the longitudinal Behavior of a Partial Autonomous Driving Assistance System. 987-992 - Mathieu Roche
WeMiT: Web-Mining for Translation. 993-994 - Alexandru Surpatean, Evgueni N. Smirnov, Nicolai Manie:
Master Orientation Tool. 995-996
System Demo Track
- Pablo Almajano, Tomas Trescak
An Infrastructure for Human Inclusion in MAS. 999-1000 - Liz Bacon, Amedeo Cesta
Training Crisis Managers with PANDORA. 1001-1002 - Roman Barták
FlowOpt: Bridging the Gap Between Optimization Technology and Manufacturing Planners. 1003-1004 - Luca Console, Giulia Biamino, Francesca Carmagnola, Federica Cena
WantEat: interacting with social networks of smart objects for sharing cultural heritage and supporting sustainability. 1005-1006 - Cristina Cristalli
Mo.Di.Bot - Mobile Diagnostic Robot. 1007-1008 - José del Sagrado
Metaheuristic Aided Software Features Assembly. 1009-1010 - Jörg-Uwe Kietz, Floarea Serban, Abraham Bernstein, Simon Fischer:
Designing KDD-Workflows via HTN-Planning. 1011-1012 - Mitja Lustrek, Bostjan Kaluza, Bozidara Cvetkovic
Confidence: Ubiquitous Care System to Support Independent Living. 1013-1014 - Stéphane Magnenat
Autonomous construction with a mobile robot in a resource-limited environment: a demonstration of the integration of perception, planning and action. 1015-1016 - Martin Scholz, Guenther Goerz:
WissKI: A Virtual Research Environment for Cultural Heritage. 1017-1018 - David Sislák, Premysl Volf, Dusan Pavlícek, Michal Pechoucek
AGENTFLY: Multi-Agent Simulation of Air-Traffic Management. 1019-1020
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-04-24 20:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: