PPDP
E355616
PPDP (Principles and Practice of Declarative Programming) is an international academic conference focused on research in declarative programming languages and related paradigms.
All labels observed (1)
| Label | Occurrences |
|---|---|
| PPDP canonical | 2 |
How this entity was disambiguated
This entity first appeared as the object of triple T3414034 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: PPDP Context triple: [PADL, relatedTo, PPDP]
-
A.
DPP
DPP (Device Provisioning Protocol) is a Wi‑Fi Alliance standard that simplifies and secures the process of adding new devices to a Wi‑Fi network without requiring traditional passwords.
-
B.
LPPD
LPPD is the ICAO airport code for João Paulo II Airport, the main international airport serving Ponta Delgada in the Azores, Portugal.
-
C.
ASDPPP
ASDPPP is a comprehensive book by Robert C. Martin that explores agile software development through core principles, design patterns, and best practices for building maintainable code.
-
D.
PAPPG
PAPPG is the National Science Foundation’s comprehensive guide outlining the policies, procedures, and requirements for preparing and managing NSF grant proposals and awards.
-
E.
DPD
DPD is the commonly used abbreviation for the "Diccionario panhispánico de dudas," a comprehensive reference work by the Royal Spanish Academy that clarifies usage, grammar, and style questions across the Spanish-speaking world.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: PPDP Target entity description: PPDP (Principles and Practice of Declarative Programming) is an international academic conference focused on research in declarative programming languages and related paradigms.
-
A.
DPP
DPP (Device Provisioning Protocol) is a Wi‑Fi Alliance standard that simplifies and secures the process of adding new devices to a Wi‑Fi network without requiring traditional passwords.
-
B.
LPPD
LPPD is the ICAO airport code for João Paulo II Airport, the main international airport serving Ponta Delgada in the Azores, Portugal.
-
C.
ASDPPP
ASDPPP is a comprehensive book by Robert C. Martin that explores agile software development through core principles, design patterns, and best practices for building maintainable code.
-
D.
PAPPG
PAPPG is the National Science Foundation’s comprehensive guide outlining the policies, procedures, and requirements for preparing and managing NSF grant proposals and awards.
-
E.
DPD
DPD is the commonly used abbreviation for the "Diccionario panhispánico de dudas," a comprehensive reference work by the Royal Spanish Academy that clarifies usage, grammar, and style questions across the Spanish-speaking world.
- F. None of above. chosen
Statements (49)
| Predicate | Object |
|---|---|
| instanceOf |
academic conference
ⓘ
international conference ⓘ |
| academicDiscipline |
computer science
ⓘ
programming language theory ⓘ |
| audience |
academics
ⓘ
graduate students ⓘ industry practitioners interested in declarative programming ⓘ researchers ⓘ |
| field |
constraints programming
ⓘ
declarative programming ⓘ formal methods ⓘ functional programming ⓘ logic programming ⓘ programming languages ⓘ |
| focusesOn |
applications of declarative programming
ⓘ
implementation of declarative languages ⓘ practice of declarative programming ⓘ principles of declarative programming ⓘ semantics of programming languages ⓘ |
| fullName | Principles and Practice of Declarative Programming ⓘ |
| hasAbbreviation | PPDP self-link ⓘ |
| hasFormat | single-track conference ⓘ |
| hasLanguage | English ⓘ |
| hasScope |
applications of declarative paradigms
ⓘ
practice of declarative programming ⓘ theory of declarative programming ⓘ |
| includes |
invited talks
ⓘ
research paper presentations ⓘ tutorials ⓘ workshops ⓘ |
| organizedAs | annual conference ⓘ |
| publicationType | conference proceedings ⓘ |
| relatedTo |
ICFP
ⓘ
Proceedings of the IEEE Symposium on Logic in Computer Science ⓘ
surface form:
LICS
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ⓘ
surface form:
POPL
|
| reviewProcess | peer-reviewed ⓘ |
| sponsoredBy |
ACM SIGLOG
ⓘ
ACM Special Interest Group on Programming Languages ⓘ
surface form:
ACM SIGPLAN
|
| topic |
constraints and satisfiability
ⓘ
declarative concurrency ⓘ declarative domain-specific languages ⓘ declarative programming languages ⓘ implementation techniques for declarative languages ⓘ probabilistic declarative programming ⓘ program analysis ⓘ semantics of declarative languages ⓘ type systems ⓘ verification of declarative programs ⓘ |
| typicalPublicationVenue | ACM Digital Library ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: PPDP Description of subject: PPDP (Principles and Practice of Declarative Programming) is an international academic conference focused on research in declarative programming languages and related paradigms.
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.