Harold Boley - RankMe

141 papers A 2B 6C 8Misc 2Journal 24Unranked 95

Year	Rank	Type	Title / Venue / Authors
2021	B	`conf`	cl-psoatransrun: An Efficiently Executable Specification of PSOA RuleML in Common Lisp. RuleML+RR Mark Thom, Harold Boley, Theodoros Mitsikas
2020	B	`conf`	Invertible Bidirectional Metalogical Translation Between Prolog and RuleML for Knowledge Representation and Querying. RuleML+RR Mark Thom, Harold Boley, Theodoros Mitsikas
2020	J	`jnl`	Nearness as context-dependent expression: an integrative review of modeling, measurement and contextual properties. Spatial Cogn. Comput. Marc Novel, Rolf Grütter, Harold Boley, Abraham Bernstein
2019	B	`conf`	Aligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDP. RuleML+RR Marjolein Deryck, Theodoros Mitsikas, Sofia Almpani, Petros S. Stefaneas, Panayiotis Frangos, Iakovos Ouranos, Harold Boley, Joost Vennekens
2019	—	`conf`	Specifying PSOA RuleML/XML 1.03: MYNG-modularized Schemas for the RNC & XSD Validation of XSLT-normalized Data and Knowledge. RuleML+RR (Supplement) Tara Athan, Harold Boley, Rima Chaudhari
2018	B	`conf`	Computational Regulation of Medical Devices in PSOA RuleML. RuleML+RR Sofia Almpani, Petros S. Stefaneas, Harold Boley, Theodoros Mitsikas, Panayiotis Frangos
2018	—	`conf`	Object-Relational Rules for Medical Devices: Classification and Conformity. OTM Conferences (2) Sofia Almpani, Petros S. Stefaneas, Harold Boley, Theodoros Mitsikas, Panayiotis Frangos
2018	—	`conf`	PSOA Prova: PSOA Translation of Pure Production Rules to the Prova Engine. RuleML+RR (Supplement) Lukas Grätz, Harold Boley, Adrian Paschke
2017	J	`jnl`	Perspectival Knowledge in PSOA RuleML: Representation, Model Theory, and Translation. CoRR Harold Boley, Gen Zou
2017	—	`conf`	Port Clearance Rules in PSOA RuleML: From Controlled-English Regulation to Object-Relational Logic. RuleML+RR (Supplement) Gen Zou, Harold Boley, Dylan Wood, Kieran Lea
2017	—	`conf`	Representing, Querying, and Visualizing Health-Insurance Knowledge in a Cost-Sharing Estimator. RuleML+RR (Supplement) Zainab Almugbel, Harold Boley
2016	—	`conf`	Automated generation of SADI semantic web services for clinical intelligence. SBD@SIGMOD Mohammad Sadnan Al Manir, Alexandre Riazanov, Harold Boley, Artjom Klein, Christopher J. O. Baker
2016	—	`conf`	Minimal Objectification and Maximal Unnesting in PSOA RuleML. RuleML Gen Zou, Harold Boley
2016	—	`conf`	Semantic computing of simplicity in attributed generalized trees. ICCI*CC Mahsa Kiani, Virendrakumar C. Bhavsar, Harold Boley
2016	—	`conf`	The RuleML Knowledge-Interoperation Hub. RuleML Harold Boley
2016	—	`conf`	Translating Higher-Order Modal Logic from RuleML to TPTP. RuleML (Supplement) Harold Boley, Christoph Benzmüller, Meng Luan, Zhendong Sha
2016	C	`conf`	Valet SADI: Provisioning SADI Web Services for Semantic Querying of Relational Databases. IDEAS Mohammad Sadnan Al Manir, Alexandre Riazanov, Harold Boley, Artjom Klein, Christopher J. O. Baker
2015	—	`conf`	Automated Generation of SADI Web Services for Clinical Intelligence using Ruled-Based Semantic Mappings. SWAT4LS Mohammad Sadnan Al Manir, Alexandre Riazanov, Harold Boley, Artjom Klein, Christopher J. O. Baker
2015	—	`conf`	PSOA RuleML: Integrated Object-Relational Data and Rules. Reasoning Web Harold Boley
2015	—	`conf`	PSOA2Prolog: Object-Relational Rule Interoperation and Implementation by Translation from PSOA RuleML to ISO Prolog. RuleML Gen Zou, Harold Boley
2015	—	`conf`	Rule-Based Exploration of Structured Data in the Browser. RuleML Sudhir Agarwal, Abhijeet Mohapatra, Michael R. Genesereth, Harold Boley
2015	—	`conf`	RuleML 1.02: Deliberation, Reaction and Consumer Families. Challenge+DC@RuleML Tara Athan, Harold Boley, Adrian Paschke
2015	B	`conf`	Similarity of Attributed Generalized Tree Structures: A Comparative Study. SISAP Mahsa Kiani, Virendrakumar C. Bhavsar, Harold Boley
2014	—	`conf`	A Datalog + Plus RuleML 1.01 Architecture for Rule-Based Data Access in Ecosystem Research. RuleML Harold Boley, Rolf Grütter, Gen Zou, Tara Athan, Sophia Etzold
2014	—	`conf`	A fuzzy structure similarity algorithm for attributed generalized trees. ICCI*CC Mahsa Kiani, Virendrakumar C. Bhavsar, Harold Boley
2014	—	`conf`	Distributed Rule-based Agents with Rule Responder and Reaction RuleML 1.0. Challenge+DC@RuleML Adrian Paschke, Harold Boley
2014	—	`conf`	Extracting Data from the Deep Web with Global-as-View Mediators Using Rule-Enriched Semantic Annotations. Challenge+DC@RuleML Benjamin Dönz, Harold Boley
2014	—	`conf`	Structure Similarity of Attributed Generalized Trees. ICSC Mahsa Kiani, Virendrakumar C. Bhavsar, Harold Boley
2014	—	`conf`	The MYNG 1.01 Suite for Deliberation RuleML 1.01: Taming the Language Lattice. Challenge+DC@RuleML Tara Athan, Harold Boley
2013	—	`conf`	A Fuzzy Logic-Based Approach to Uncertainty Treatment in the Rule Interchange Format: From Encoding to Extension. URSW (LNCS Vol.) Jidi Zhao, Harold Boley, Jing Dong
2013	—	`conf`	Combined Structure-Weight Graph Similarity and its Application in E-Health. CSWS Mahsa Kiani, Virendrakumar C. Bhavsar, Harold Boley
2013	—	`conf`	Generating Semantic Web Services from Declarative Descriptions. CSWS Mohammad Sadnan Al Manir, Alexandre Riazanov, Harold Boley, Christopher J. O. Baker
2013	—	`conf`	Grailog 1.0: Graph-Logic Visualization of Ontologies and Rules. RuleML Harold Boley
2013	—	`conf`	Grailog KS Viz: A Grailog Visualizer for Datalog RuleML Using an XSLT Translator to SVG. RuleML (2) Martin Koch, Sven Schmidt, Harold Boley, Rainer Herpers
2013	—	`conf`	LegalRuleML: From Metamodel to Use Cases - (A Tutorial). RuleML Tara Athan, Harold Boley, Guido Governatori, Monica Palmirani, Adrian Paschke, Adam Z. Wyner
2013	C	`conf`	OASIS LegalRuleML. ICAIL Tara Athan, Harold Boley, Guido Governatori, Monica Palmirani, Adrian Paschke, Adam Z. Wyner
2013	J	`jnl`	Rule-based validation of SLA choreographies. J. Supercomput. Irfan Ul Haq, Adrian Paschke, Erich Schikuta, Harold Boley
2013	—	`conf`	Track F: Healthcare and sustainable living. DEST Rémi Bastide, Harold Boley, Amadou Sienou, Matthew Smith
2013	—	`conf`	Visualizing SWRL Rules: From Unary/Binary Datalog and PSOA RuleML to Graphviz and Grailog. CSWS Ismail Akbari, Bo Yan, Junyan Zhang, Harold Boley
2012	J	`jnl`	Cross-community interoperation between knowledge-based multi-agent systems: A study on EMERALD and Rule Responder. Expert Syst. Appl. Kalliopi Kravari, Nick Bassiliades, Harold Boley
2012	J	`jnl`	Erratum to "Cross-community interoperation between knowledge-based multi-agent systems: A study on EMERALD and Rule Responder" [Expert Systems with Applications 39 (10) (2012) 9571-9587]. Expert Syst. Appl. Kalliopi Kravari, Nick Bassiliades, Harold Boley
2012	—	`conf`	Loosely-Coupled and Event-Messaged Interactions with Reaction RuleML 1.0 in Rule Responder. RuleML (2) Zhili Zhao, Kia Teymourian, Adrian Paschke, Harold Boley, Tara Athan
2012	—	`conf`	Machine learning for resource management in smart environments. DEST Christian Fabbricatore, Harold Boley, Achim P. Karduck
2012	—	`conf`	PSOA RuleML API: A Tool for Processing Abstract and Concrete Syntaxes. RuleML Mohammad Sadnan Al Manir, Alexandre Riazanov, Harold Boley, Christopher J. O. Baker
2012	—	`conf`	PSOA2TPTP: A Reference Translator for Interoperating PSOA RuleML with TPTP Reasoners. RuleML Gen Zou, Reuben Peter-Paul, Harold Boley, Alexandre Riazanov
2012	—	`conf`	PSOATransRun: Translating and Running PSOA RuleML via the TPTP Interchange Language for Theorem Provers. RuleML (2) Gen Zou, Reuben Peter-Paul, Harold Boley, Alexandre Riazanov
2012	—	`conf`	Reaction RuleML 1.0: Standardized Semantic Reaction Rules. RuleML Adrian Paschke, Harold Boley, Zhili Zhao, Kia Teymourian, Tara Athan
2012	A	`conf`	Towards an Ontology for Autonomous Robots. IROS Liam Paull, Gaëtan Séverac, Guilherme V. Raffo, Julian Mauricio Angel, Harold Boley, Phillip J. Durst, Wendell Gray, Maki K. Habib, Bao Nguyen, S. Veera Ragavan, Sajad Saeedi G., Ricardo Sanz, Mae L. Seto, Aleksandar Stefanovski, Michael Trentini, Howard Li
2011	—	`conf`	A RIF-Style Semantics for RuleML-Integrated Positional-Slotted, Object-Applicative Rules. RuleML Europe Harold Boley
2011	J	`jnl`	An intensional perspective on the semantic and pragmatic web. Int. J. Metadata Semant. Ontologies Terje Aaberge, Rajendra Akerkar, Harold Boley
2011	—	`conf`	Compromise Matching in P2P e-Marketplaces: Concept, Algorithm and Use Case. MIWAI Manish R. Joshi, Virendrakumar C. Bhavsar, Harold Boley
2011	—	`conf`	Cross-Community Interoperation between the EMERALD and Rule Responder Multi-Agent Systems. RuleML Europe Kalliopi Kravari, Taylor Michael Osmun, Harold Boley, Nick Bassiliades
2011	—	`conf`	Design and Implementation of Highly Modular Schemas for XML: Customization of RuleML in Relax NG. RuleML America Tara Athan, Harold Boley
2011	—	`conf`	Feature Model Debugging based on Description Logic Reasoning. DMS Mahdi Noorian, Alireza Ensan, Ebrahim Bagheri, Harold Boley, Yevgen Biletskiy
2011	—	`conf`	LegalRuleML: XML-Based Rules and Norms. RuleML America Monica Palmirani, Guido Governatori, Antonino Rotolo, Said Tabet, Harold Boley, Adrian Paschke
2011	—	`conf`	Principles of the SymposiumPlanner Instantiations of Rule Responder. RuleML America Zhili Zhao, Adrian Paschke, Chaudhry Usman Ali, Harold Boley
2011	J	`jnl`	Rule Responder: Rule-Based Agents for the Semantic-Pragmatic Web. Int. J. Artif. Intell. Tools Adrian Paschke, Harold Boley
2011	—	`conf`	SymposiumPlanner-2011: Querying Two Virtual Organization Committees. RuleML America (2) Zhili Zhao, Adrian Paschke, Chaudhry Usman Ali, Harold Boley
2011	—	`conf`	The Social Semantic Subweb of Virtual Patient Support Groups. CSWS Harold Boley, M. Omair Shafiq, Derek Smith, Taylor Michael Osmun
2010	—	`conf`	A Fuzzy Logic Based Approach to Expressing and Reasoning with Uncertain Knowledge on the Semantic Web. IJCCI (Selected Papers) Jidi Zhao, Harold Boley, Weichang Du
2010	J	`jnl`	A Guide to the Basic Logic Dialect for Rule Interchange on the Web. IEEE Trans. Knowl. Data Eng. Harold Boley, Michael Kifer
2010	J	`jnl`	A Homogeneous Reaction Rule Language for Complex Event Processing CoRR Adrian Paschke, Alexander Kozlenkov, Harold Boley
2010	C	`conf`	Matchmaking in p2p e-marketplaces: soft constraints and compromise matching. ICEC Manish R. Joshi, Virendrakumar C. Bhavsar, Harold Boley
2010	J	`jnl`	Neurosymbolic Alerting Rules. IEEE Trans. Ind. Electron. Rosemarie Velik, Harold Boley
2010	—	`conf`	Reasoning with the Fuzzy Description Logic f IJCCI (ICFC-ICNC) Jidi Zhao, Harold Boley, Weichang Du
2010	—	`conf`	RuleML 1.0: The Overarching Specification of Web Rules. RuleML Harold Boley, Adrian Paschke, M. Omair Shafiq
2010	—	`conf`	SLA Validation of Service Value Chains. GCC Irfan Ul Haq, Erich Schikuta, Ivona Brandic, Adrian Paschke, Harold Boley
2010	—	`conf`	SemPIF: A Semantic Meta-policy Interchange Format for Multiple Web Policies. Web Intelligence Yuh-Jong Hu, Harold Boley
2009	C	`conf`	A knowledge representation model for matchmaking systems in e-marketplaces. ICEC Manish R. Joshi, Virendra C. Bhavsar, Harold Boley
2009	—	`conf`	Geospatial-Enabled RuleML in a Study on Querying Respiratory Disease Information. RuleML Sheng Gao, Harold Boley, Darka Mioc, Francois Anton, Xiaolun Yi
2009	—	`conf`	Hunt Fortune: A System for P2P E-Marketplace Matchmaking. ICETET Manish R. Joshi, Virendrakumar C. Bhavsar, Harold Boley, Ravindra Vaidya
2009	—	`conf`	Knowledge Representation and Consistency Checking in a Norm-Parameterized Fuzzy Description Logic. ICIC (2) Jidi Zhao, Harold Boley, Weichang Du
2009	C	`conf`	Knowledge representation for a neuro-symbolic network in home care risk identification. INDIN Nauman Qadeer, Rosemarie Velik, Gerhard Zucker, Harold Boley
2009	—	`conf`	RIF RuleML Rosetta Ring: Round-Tripping the Dlex Subset of Datalog RuleML and RIF-Core. RuleML Harold Boley
2009	—	`conf`	Rule-Based Workflow Validation of Hierarchical Service Level Agreements. GPC Workshops Irfan Ul Haq, Adrian Paschke, Erich Schikuta, Harold Boley
2009	—	`conf`	Social Semantic Rule Sharing and Querying in Wellness Communities. ASWC Harold Boley, Taylor Michael Osmun, Benjamin Larry Craig
2009	—	`conf`	WellnessRules: A Web 3.0 Case Study in RuleML-Based Prolog-N3 Profile Interoperation. RuleML Harold Boley, Taylor Michael Osmun, Benjamin Larry Craig
2009	—	`conf`	WellnessRules: The Activity Rule Responder. RuleML Challenge Taylor Michael Osmun, Benjamin Larry Craig, Harold Boley
2008	—	`conf`	A RuleML Study on Integrating Geographical and Health Information. RuleML Sheng Gao, Darka Mioc, Harold Boley, Francois Anton, Xiaolun Yi
2008	—	`conf`	Combining Fuzzy Description Logics and Fuzzy Logic Programs. Web Intelligence/IAT Workshops Jidi Zhao, Harold Boley
2008	—	`conf`	Personal Agents in the Rule Responder Architecture. RuleML Benjamin Larry Craig, Harold Boley
2008	C	`conf`	Representing Textual Requirements as Graphical Natural Language for UML Diagram Generation. SEKE Magda Ilieva, Harold Boley
2008	J	`jnl`	RuleML-based learning object interoperability on the Semantic Web. Interact. Technol. Smart Educ. Yevgen Biletskiy, Harold Boley, Girish R. Ranganathan
2008	—	`conf`	Uncertainty Treatment in the Rule Interchange Format: From Encoding to Extension. URSW Jidi Zhao, Harold Boley
2007	—	`conf`	Are Your Rules Online? Four Web Rule Essentials. RuleML Harold Boley
2007	B	`conf`	Combining RDF Vocabularies for Expert Finding. ESWC Boanerges Aleman-Meza, Uldis Bojars, Harold Boley, John G. Breslin, Malgorzata Mochól, Lyndon J. B. Nixon, Axel Polleres, Anna V. Zhdanova
2007	—	`conf`	Expert Querying and Redirection with Rule Responder. FEWS Harold Boley, Adrian Paschke
2007	—	`conf`	Rule Interchange on the Web. Reasoning Web Harold Boley, Michael Kifer, Paula-Lavinia Patranjan, Axel Polleres
2007	—	`conf`	Rule responder: RuleML-based agents for distributed collaboration on the pragmatic web. ICPW Adrian Paschke, Harold Boley, Alexander Kozlenkov, Benjamin Larry Craig
2007	J	`jnl`	The DATALOG Comput. Intell. Jing Mei, Zuoquan Lin, Harold Boley, Jie Li, Virendrakumar C. Bhavsar
2006	—	`conf`	A Bottom-up Strategy for Query Decomposition. ICDIM Le Thi Thu Thuy, Doan Dai Duong, Virendrakumar C. Bhavsar, Harold Boley
2006	—	`conf`	Datalog CSWWS Jing Mei, Harold Boley, Jie Li, Virendrakumar C. Bhavsar, Zuoquan Lin
2006	C	`conf`	From HTML documents to web tables and rules. ICEC Kai Simon, Georg Lausen, Harold Boley
2006	—	`conf`	The RuleML Family of Web Rule Languages. PPSWR Harold Boley
2005	—	`conf`	A Realistic Architecture for the Semantic Web. RuleML Michael Kifer, Jos de Bruijn, Harold Boley, Dieter Fensel
2005	—	`conf`	A Weighted-Tree Simplicity Algorithm for Similarity Matching of Partial Product Descriptions. IASSE Lu Yang, Biplab Kumer Sarker, Virendrakumar C. Bhavsar, Harold Boley
2005	J	`jnl`	A match-making system for learners and learning objects. Interact. Technol. Smart Educ. Harold Boley, Virendrakumar C. Bhavsar, David Hirtle, Anurag Singh, Zhongwei Sun, Lu Yang
2005	J	`jnl`	Collaborative filtering and inference rules for context-aware learning object recommendation. Interact. Technol. Smart Educ. Daniel Lemire, Harold Boley, Sean McGrath, Marcel Ball
2005	—	`conf`	Implementing RuleML Using Schemas, Translators, and Bidirectional Interpreters. Rule Languages for Interoperability Marcel Ball, Harold Boley, David Hirtle, Jing Mei, Bruce Spencer
2005	—	`conf`	Interpreting SWRL Rules in RDF Graphs. WLFM@FM Jing Mei, Harold Boley
2005	J	`jnl`	Preface. J. Web Semant. Grigoris Antoniou, Harold Boley
2005	—	`conf`	RDF/RuleML Interoperability. Rule Languages for Interoperability Harold Boley, Jing Mei, Michael Sintek, Gerd Wagner
2005	—	`conf`	Range Similarity Measures Between Buyers and Sellers in e-Marketplaces. IICAI Lu Yang, Biplab Kumer Sarker, Virendrakumar C. Bhavsar, Harold Boley
2005	—	`conf`	RuleML Position Statement. Rule Languages for Interoperability Harold Boley, Mike Dean, Benjamin N. Grosof, Michael Kifer, Said Tabet, Gerd Wagner
2005	—	`conf`	Semantic Web Rules for Business Information. Web Technologies, Applications, and Services Anna Maclachlan, Harold Boley
2005	—	`conf`	The OO jDREW Reference Implementation of RuleML. RuleML Marcel Ball, Harold Boley, David Hirtle, Jing Mei, Bruce Spencer
2004	J	`jnl`	A Weighted-Tree Similarity Algorithm for Multi-Agent Systems in E-Business Environments. Comput. Intell. Virendrakumar C. Bhavsar, Harold Boley, Lu Yang
2004	—	`ed.`	Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004. Proceedings RuleML Grigoris Antoniou, Harold Boley
2004	—	`conf`	The Abstract Syntax of RuleML - Towards a General Web Rule Language Framework. Web Intelligence Gerd Wagner, Grigoris Antoniou, Said Tabet, Harold Boley
2003	Misc	`conf`	An Introduction to Object-Oriented RuleML. EPIA Harold Boley
2003	—	`conf`	Object-Oriented RuleML: User-Level Roles, URI-Grounded Clauses, and Order-Sorted Terms. RuleML Harold Boley
2001	—	`conf`	Design Rationale for RuleML: A Markup Language for Semantic Web Rules. SWWS Harold Boley, Said Tabet, Gerd Wagner
2001	—	`conf`	The Rule Markup Language: RDF-XML Data Model, XML Schema Hierarchy, and XSL Transformations. INAP Harold Boley
2001	—	`conf`	The Rule Markup Language: RDF-XML Data Model, XML Schema Hierarchy, and XSL Transformations. INAP (LNCS Volume) Harold Boley
2000	—	`conf`	Beziehungen zwischen Logikprogrammierung und XML. WLP Harold Boley
2000	—	`conf`	Markup Languages for Functional-Logic Programming. WFLP Harold Boley
2000	—	`conf`	Relationships between Logic Programming and RDF. PRICAI Workshops Harold Boley
1999	—	`book`	A Tight, Practical Integration of Relations and Functions. Harold Boley
1999	J	`jnl`	Functional-Logic Integration via Minimal Reciprocal Extensions. Theor. Comput. Sci. Harold Boley
1998	C	`conf`	ONTOFILE: Exterior and Interior Ontologies of File/HTTP URLs. EJC Harold Boley
1997	—	`conf`	A Relational-Functional Integration for Declarative Programming. Foundations of Computer Science: Potential - Theory - Cognition Harold Boley
1997	—	`conf`	Wissensbasen im World Wide Web: Eine Herausforderung für die logische Programimerung. WLP Harold Boley
1996	J	`jnl`	Funktional-logische Sprachen. Künstliche Intell. Harold Boley
1996	J	`jnl`	Komplettkompilation von Lisp: eine Studie zur Übersetzung von Lisp-Software für C-Umgebungen. Künstliche Intell. Wolfgang Goerigk, Harold Boley, Ulrich Hoffmann, Markus Perling, Michael Sintek
1995	—	`conf`	An Environment for Exploring and Validating Declarative Knowledge. LPE Andreas Abecker, Harold Boley, Knut Hinkelmann, Holger Wache, Franz Schmalhofer
1995	J	`jnl`	CoLab: A hybrid knowledge representation and compilation laboratory. Ann. Oper. Res. Harold Boley, Philipp Hanschke, Knut Hinkelmann, Manfred Meyer
1993	—	`conf`	Finite Domains and Exclusions as First-Class Citizens. ELP Harold Boley
1993	Misc	`conf`	Neuere Entwicklungen der deklarativen KI-Programmierung. KI Harold Boley, François Bry, Ulrich Geske
1992	—	`conf`	A Direct Semantic Characterization of RELFUN. ELP Harold Boley
1991	—	`conf`	Declarative and Procedural Paradigms - Do they Really Compete? (Panel). PDK Harold Boley, Micha Meier, Chris Moss, Michael M. Richter, Andrei Voronkov
1991	—	`conf`	Extended Logic-plus-Functional Programming. ELP Harold Boley
1991	—	`ed.`	Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings PDK Harold Boley, Michael M. Richter
1988	A	`conf`	Iconic-Declarative Programming and Adaptation Rules. ECAI Harold Boley
1987	—	`—`	FIT: Deklaratives Programmieren als Transformer- und Adapteranpassung. Harold Boley
1986	J	`jnl`	RELFUN: A relational/functional integration with valued clauses. ACM SIGPLAN Notices Harold Boley
1983	—	`conf`	From Pattern-Directed to Adapter-Driven Computation via Function-Applying Matching. GI Jahrestagung Harold Boley
1981	—	`conf`	AI Languages and AI Machines: An Overview. GWAI Harold Boley
1980	J	`jnl`	A preliminary survey of artificial intelligence machines. SIGART Newsl. Harold Boley
1978	—	`conf`	The Fit Approach to AI Languages. AISB/GI (ECAI) Harold Boley
1977	J	`jnl`	Contributions to a practice-relevant AI theory. SIGART Newsl. Harold Boley
1977	J	`jnl`	Directed Recursive Labelnode Hypergraphs: A New Representation-Language. Artif. Intell. Harold Boley