Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• AISB 2009  +
• CAV 2005  +
• CAV 2010  +
• CGSW 2008  +
• CIB W70  +
• COLT 2012  +
• CTCCC 2023  +
• CTCCC 2024  +
• DIAGRAMS 2018  +
• DIS 2017  +
• DSN 2007  +
• ESCB 2007  +
• ESSCIRC 2008  +
• IASCL 2008  +
• ICFP 2009  +
• ICISS 2023  +
• ICISS 2024  +
• ICML 2012  +
• ICMTS 2008  +
• ICMV 2024  +
• ICSE 2004  +
• IJCAI-05  +
• IJCAR 2010  +
• INLG 2016  +
• IWAGPR 2017  +
• LAK 2016  +
• LICS 1988  +
• LICS 2010  +
• LOPSTR 2016  +
• NSAD 2016  +
• PKC 2020  +
• PLDI 2014  +
• PPSN 2016  +
• SCBS 2007  +
• SPECTS 2008  +
• SWAT4LS 2008  +
• VLDB 1999  +
• WWW 2006  +
• WoLLIC 2008  +