default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Venues
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Venue search results
Likely matches
- Annals of Pure and Applied Logic
also: Annals of Mathematical Logic - International Joint Conference on Artificial Intelligence (IJCAI)
also: Workshop on Fuzzy Logic in AI (FLinAI @ IJCAI) - Journal of Logic Programming
- The Journal of Symbolic Logic
- International Colloquium on Automata, Languages and Programming (ICALP)
also: Workshop on Mathematics, Logic and Computation
also: Workshop on Unification in Non-Classical Logics (UNCL @ ICALP)
All 151 matches
- ACM International Conference on International Agent Technology (IAT)
also: Workshop on Logics for Intelligent Agents and Multi-agent Systems (WLIAMAS @ IAT) - ACM Transactions on Computational Logic (TOCL)
- ACM/IEEE Symposium on Logic in Computer Science (LICS)
also: Annual IEEE Symposium on Logic in Computer Science (LICS)
also: Workshop on Logical Aspects of Fault Tolerance (LAFT @ LICS) - APPIA-GULP-PRODE Joint Conference on Declarative Programming (AGP)
also: Italian Conference on Logic Programming (GULP) - Advances in Logic
- Advances in Modal Logic (AiML)
- Algebraic Logic and Universal Algebra in Computer Science
- Annals of Pure and Applied Logic
also: Annals of Mathematical Logic - Annual Conference for Computer Science Logic (CSL)
also: International Workshop on Computer Science Logic - Archive for Mathematical Logic
- Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY)
- Austrian Conference on Artificial Intelligence (ÖGAI)
also: Fuzzy Logic in Artificial Intelligence (FLAI) - Conference on Computer Logic (COLOG)
- Conférence francophone sur les Architectures Logicielles (CAL)
- Congress on Logic Applied to Technology (LAPTEC)
- Constraints in Computational Logics (CCL)
- Dynamic Logic: New Trends and Applications Workshop (DaLí)
- ERCIM Annual Workshop on Constraint Solving and Constraint Logic Programming (CSCLP)
- European Conference on Logics in Artificial Intelligence (JELIA)
- European Society for Fuzzy Logic and Technology (EUSFLAT)
- European Summer School in Logic, Language and Information (ESSLLI)
- Extensions of Logic Programming (ELP)
- Federated Logic Conference (FLoC)
- Foundations of Logic and Functional Programming
- Handbook of the History of Logic
- Higher-Order Algebra, Logic and Term Rewriting (HOA)
- IEEE Annual Symposium on Foundations of Computer Science (FOCS)
also: Annual Symposium on Switching Circuit Theory and Logical Design (SWCT) - IEEE International Symposium on Multiple-Valued Logic (ISMVL)
- IEEE Symposium on Type-2 Fuzzy Logic Systems (T2FUZZ)
- IfCoLog Journal of Logics and their Applications
- Indian Conference on Logic and Its Applications (ICLA)
- Infinity in Logic and Computation (ILC)
- International Colloquium on Automata, Languages and Programming (ICALP)
also: Workshop on Mathematics, Logic and Computation
also: Workshop on Unification in Non-Classical Logics (UNCL @ ICALP) - International Conference on Logic and Argumentation (CLAR)
also: Chinese Conference on Logic and Argumentation - International Conference on Algebraic and Logic Programming (ALP)
- International Conference on Artificial Intelligence Logic and Applications (AILA)
- International Conference on Computational Logic (CL)
- International Conference on Computer Aided Verification (CAV)
also: Workshop on Logical Aspects of Cryptographic Protocol Verification (LACPV @ CAV) - International Conference on Database and Expert Systems Applications (DEXA)
also: International Workshop on Logical Aspects and Applications of Integrity Constraint (LAAIC @ DEXA) - International Conference on Deontic Logic and Normative Systems (DEON)
also: International Workshop on Deontic Logic in Computer Science - International Conference on Field-Programmable Logic and Applications (FPL)
also: International Workshop on Field-Programmable Logic and Applications - International Conference on Inductive Logic Programming (ILP)
also: International Workshop on Inductive Logic Programming - International Conference on Logic Programming (ICLP)
also: Workshop on Applications of Logic Programming to the Web, Semantic Web and Semantic Web Services (ALPSWS @ ICLP)
also: Workshop on Teaching Logic Programming (TeachLP @ ICLP)
also: Workshop on Logic Programming Environments (WLPE @ ICLP) - International Conference on Logic Programming and Automated Reasoning (LPAR)
also: Russian Conference on Logic Programming (RCLP) - International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR)
also: International Workshop on Logic Programming and Non-Monotonic Reasoning - International Conference on Non-Classical Logics (NCL)
- International Conference on Quantum Physics and Logic (QPL)
also: International Workshop on Quantum Physics and Logic - International Conference on Temporal Logic (ICTL)
- International Conference on Theorem Proving in Higher Order Logics (TPHOLs)
also: International Workshop Higher Order Logic Theorem Proving and its Applications - International Conference on Topology, Algebra and Categories in Logic (TACL)
- International Conference on the Practical Application of Constraint Technologies and Logic Programming (PACPL)
- International Joint Conference on Artificial Intelligence (IJCAI)
also: Workshop on Fuzzy Logic in AI (FLinAI @ IJCAI) - International Journal of Fuzzy Logic and Intelligent Systems
- International Symposium on Functional and Logic Programming (FLOPS)
also: Fuji International Symposium on Functional and Logic Programming (FLOPS) - International Symposium on Games, Automata, Logics and Formal Verification (GandALF)
- International Symposium on Molecular Logic and Computational Synthetic Biology (MLCSB)
- International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL)
- International Workshop on Classical Logic and Computation (CL&C)
- International Workshop on Computational Logic in Multi-Agent Systems (CLIMA)
- International Workshop on Deductive Databases and Logic Programming (DDLP)
- International Workshop on Description Logics (DL)
also: International Workshop on Terminological Logics - International Workshop on Functional and (Constraint) Logic Programming (WFLP)
- International Workshop on Fuzzy Logic and Applications (WILF)
- International Workshop on Hybrid Logic (HyLo)
- International Workshop on Logic & Synthesis (IWLS)
- International Workshop on Logic and Communication in Multi-Agent Systems (LCMAS)
- International Workshop on Logical Frameworks and Meta-Languages (LFM)
- International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP)
- International Workshop on Meta-Programming in Logic (META)
- International Workshop on Multi-Language Infrastructure and Interoperability (BABEL)
also: Colloquium on Principles, Logics, and Implementations of High-Level Programming Languages (PLI) - International Workshop on Trends in Linear Logic and Applications (TLLA)
- International Workshop on the Implementation of Logics (IWIL)
- Italian Conference on Computational Logic (CILC)
- Joint International Conference and Symposium on Logic Programming (JICSLP)
also: International Logic Programming Symposium (ILPS)
also: International Symposium on Logic Programming (ISLP)
also: North American Conference on Logic Programming (NACLP)
also: Symposium on Logic Programming (SLP) - Joint International Workshop on Linearity and Trends in Linear Logic and its Applications (LINEARITY&TLLA)
- Journal of Applied Logic
- Journal of Applied Non-Classical Logics
- Journal of Functional and Logic Programming
- Journal of Logic Programming
- Journal of Logic and Analysis
also: Logic and Analysis - Journal of Logic and Computation
- Journal of Logic, Language and Information (JoLLI)
- Journal of Logical and Algebraic Methods in Programming
also: Journal of Logic and Algebraic Programming - Journal of Mathematical Logic
- Journal of Multiple-Valued Logic and Soft Computing
- Journal of Philosophical Logic
- Journées Francophones de Programmation Logique par Contraintes (JFPLC)
also: International French Speaking Conference on Logic and Constraint Programming - L'OBJET: Logiciel, Base de données, Réseaux (L'OBJET)
- Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning (LANMR)
- Learning Language in Logic
- Linear Logic Tokyo Meeting
- Logic Colloquium
- Logic Journal of the IGPL
- Logic Programming Conference (LP)
- Logic Programming Summer School (LPSS)
- Logic Programming and Knowledge Representation (LPKR)
- Logic and Engineering of Natural Language Semantics (LENLS)
- Logic and Machines
- Logic and the Foundations of Game and Decision Theory (LOFT)
- Logic at Work
- Logic in Databases (LID)
- Logic of Theory Change
- Logic, Action, and Information
- Logic, Epistemology, and the Unity of Science
- Logic, Rationality, and Interaction (LORI)
- Logic-based Program Synthesis and Transformation (LOPSTR)
- Logica Universalis
- Logical Aspects of Computational Linguistics (LACL)
- Logical Methods in Computer Science
- Logical and Computational Complexity (LCC)
- Logical and Operational Methods in the Analysis of Programs and Systems (LOMAPS)
- Logics of Programs
- Mathematical Logic Quarterly
- Methods of Logic in Computer Science
- Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW)
- Natural Language Understanding and Logic Programming Workshop (NLULP)
- Nonmonotonic and Inductive Logic (NIL)
- Notre Dame Journal of Formal Logic
- Paraconsistent Computational Logic (PCL)
- Quantitative Logic and Soft Computing (QLSC)
- Reports on Mathematical Logic
- Studia Logica
- Symposium on Logical Foundations of Computer Science (LFCS)
- Symposium on Programming Language Implementation and Logic Programming (PLILP)
- Tbilisi Symposium on Logic, Language, and Computation (TbiLLC)
- Temporal Logic in Specification
- The Bulletin of Symbolic Logic
- The Journal of Symbolic Logic
- The Review of Symbolic Logic
- Theory and Practice of Logic Programming (TPLP)
- Third International Congress on Tools for Teaching Logic (TICTTL)
- Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning (TLLM)
- UK Conference on Logic Programming (ALPUK)
- Vienna Summer of Logic (VSL)
- Workshop on (Constraint) Logic Programming (WLP)
- Workshop on Bias, Ethical AI, Explainability and the role of Logic and Logic Programming (BEWARE)
- Workshop on Computational Logic and Applications (CLA)
- Workshop on Constraint Logic Programming (WCLP)
- Workshop on Curry and Functional Logic Programming (WCFLP)
- Workshop on Games for Logic and Programming Languages (GALOP)
- Workshop on Intuitionistic Modal Logic and Applications (IMLA)
- Workshop on Logic Programming Environments (WLPE)
- Workshop on Logic, Language, Information and Computation (WoLLIC)
- Workshop on Logic, Models and Computer Science (LMCS)
- Workshop on Logical and Semantic Frameworks with Applications (LSFA)
- Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness (PRUV)
- Workshop on Methods for Modalities (M4M)
also: Workshop on Logical Aspects of Multi-Agent Systems (LAMAS @ M4M) - Workshop on Non-Monotonic Extensions of Logic Programming (NMELP)
- Workshop on Parallel Processing: Logic, Organization, and Technology (WOPPLOT)
- Workshop on Rewriting Logic and Its Applications (WRLA)
- Workshop on the Constructive Logic for Automated Software Engineering (CLASE)
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-11-02 09:04 CET from data curated 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:
