A Case for Query-driven Predicate Answer Set Programming (Position Paper) Gopal Gupta Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin Department of Computer Science The University of Texas at Dallas

Source URL: www.cs.man.ac.uk

• Artificial intelligence
• Logic
• Logic programming
• Declarative programming
• Automated reasoning
• Programming paradigms
• Automated theorem proving
• Answer set programming
• Reasoning system
• Stable model semantics
• Prolog
• Inference

A Magical Conversation with Rebabnawaz Larry Porter [Larry Porter] By Farhad Azad

Source URL: www.eastwestmusic.net

A compositional formal model for cyber-physical autonomous system Benjamin LION, Farhad ARBAB Introduction 

Source URL: www.win.tue.nl

Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems ? Carolyn Talcott1 , Vivek Nigam2 , Farhad Arbab3 , and Tobias Kapp´e4 1 SRI International, Menlo Park, CA 94025, USA

Source URL: nigam.info

Scientific Annals of Computer Science vol. ??, 20??, pp. 1–52 Overview of Thirty Semantic Formalisms for Reo Sung-Shik T.Q. JONGMANS1 and Farhad ARBAB2

Source URL: pdfs.semanticscholar.org

FOUL RECOGNITION FOUL & THE GRAY AREA Farhad Mansourian NOVEMBER 10, 2012 Foul

Source URL: www.cnra.net

2nd Azerbaijan Chess Composition Cup 2015 WINNERS Kenan Velikhanov (İmişli) Farhad Mirzayev (Ganja)

Source URL: www.azerichess.az

Distance Education in the United States: Past, Present, Future Farhad Saba The practice of distance education in the United States is traced back to its early roots. In the 20th century, distance education remained at th

Source URL: distance-educator.com

Microsoft Word - URSI Newsletter Vol2-No1 v5.docx

Source URL: ursi.org

• Ghent University
• International Union of Radio Science
• Issac Koga
• Science and technology
• Science
• Farhad Rachidi