|
Association For Logic Programming
The Association for Logic Programming (ALP) was founded in 1986. Its mission is "to contribute to the development of Logic Programming, relate it to other formal sciences, formal and also to humanistic sciences, and to promote its uses in academia and industry all over the world". It manages the International Conference on Logic Programming, oversees the journal ''Theory and Practice of Logic Programming'' (TPLP), and publishes an electronic newsletter. The activities of the Association are directed by an Executive Committee and President, elected by ALP members. The current president is Enrico Pontelli. Here is a list of all presidents: * 2024- Enrico Pontelli at New Mexico State University * 2019-2024 Thomas Eiter (''pro term'' 2019-2020) at Vienna University of Technology * 2014-2019 Torsten Schaub at the University of Potsdam * 2010-2014 Gopal Gupta (computer scientist), Gopal Gupta at the University of Texas, Dallas * 2005-2009 Manuel Hermenegildo at the Technical University ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logic Programming
Logic programming is a programming, database and knowledge representation paradigm based on formal logic. A logic program is a set of sentences in logical form, representing knowledge about some problem domain. Computation is performed by applying logical reasoning to that knowledge, to solve problems in the domain. Major logic programming language families include Prolog, Answer Set Programming (ASP) and Datalog. In all of these languages, rules are written in the form of ''clauses'': :A :- B1, ..., Bn. and are read as declarative sentences in logical form: :A if B1 and ... and Bn. A is called the ''head'' of the rule, B1, ..., Bn is called the ''body'', and the Bi are called '' literals'' or conditions. When n = 0, the rule is called a ''fact'' and is written in the simplified form: :A. Queries (or goals) have the same syntax as the bodies of rules and are commonly written in the form: :?- B1, ..., Bn. In the simplest case of Horn clauses (or "definite" clauses), all ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Munich
Munich is the capital and most populous city of Bavaria, Germany. As of 30 November 2024, its population was 1,604,384, making it the third-largest city in Germany after Berlin and Hamburg. Munich is the largest city in Germany that is not a state of its own. It ranks as the 11th-largest city in the European Union. The metropolitan area has around 3 million inhabitants, and the broader Munich Metropolitan Region is home to about 6.2 million people. It is the List of EU metropolitan regions by GDP#2021 ranking of top four German metropolitan regions, third largest metropolitan region by GDP in the European Union. Munich is located on the river Isar north of the Alps. It is the seat of the Upper Bavaria, Upper Bavarian administrative region. With 4,500 people per km2, Munich is Germany's most densely populated municipality. It is also the second-largest city in the Bavarian language, Bavarian dialect area after Vienna. The first record of Munich dates to 1158. The city ha ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computer Science Organizations
A computer is a machine that can be programmed to automatically carry out sequences of arithmetic or logical operations (''computation''). Modern digital electronic computers can perform generic sets of operations known as ''programs'', which enable computers to perform a wide range of tasks. The term computer system may refer to a nominally complete computer that includes the hardware, operating system, software, and peripheral equipment needed and used for full operation; or to a group of computers that are linked and function together, such as a computer network or computer cluster. A broad range of industrial and consumer products use computers as control systems, including simple special-purpose devices like microwave ovens and remote controls, and factory devices like industrial robots. Computers are at the core of general-purpose devices such as personal computers and mobile devices such as smartphones. Computers power the Internet, which links billions of computer ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
David H
David (; , "beloved one") was a king of ancient Israel and Judah and the Kings of Israel and Judah, third king of the Kingdom of Israel (united monarchy), United Monarchy, according to the Hebrew Bible and Old Testament. The Tel Dan stele, an Canaanite and Aramaic inscriptions, Aramaic-inscribed stone erected by a king of Aram-Damascus in the late 9th/early 8th centuries BCE to commemorate a victory over two enemy kings, contains the phrase (), which is translated as "Davidic line, House of David" by most scholars. The Mesha Stele, erected by King Mesha of Moab in the 9th century BCE, may also refer to the "House of David", although this is disputed. According to Jewish works such as the ''Seder Olam Rabbah'', ''Seder Olam Zutta'', and ''Sefer ha-Qabbalah'' (all written over a thousand years later), David ascended the throne as the king of Judah in 885 BCE. Apart from this, all that is known of David comes from biblical literature, Historicity of the Bible, the historicit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
John Alan Robinson
John Alan Robinson (9 March 1930 – 5 August 2016) was a philosopher, mathematician, and computer scientist. He was a professor emeritus at Syracuse University. Alan Robinson's major contribution is to the foundations of automated theorem proving. His unification algorithm eliminated one source of combinatorial explosion in resolution provers; it also prepared the ground for the logic programming paradigm, in particular for the Prolog language. Robinson received the 1996 Herbrand Award for Distinguished Contributions to Automated Reasoning. Life Robinson was born in Halifax, Yorkshire, England in 1930 and left for the United States in 1952 with a classics degree from Cambridge University. He studied philosophy at the University of Oregon before moving to Princeton University where he received his PhD in philosophy in 1956. He then worked at DuPont as an operations research analyst, where he learned computer programming and taught himself mathematics. He moved to Rice U ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ray Reiter
Raymond Reiter (; June 12, 1939 – September 16, 2002) was a Canadian computer scientist and logician. He was one of the founders of the field of non-monotonic reasoning with his work on default logic, model-based diagnosis, closed-world reasoning, and truth maintenance systems. He also contributed to the situation calculus. Awards and honors He was a Fellow of the Association for Computing Machinery (ACM), an AAAI Fellow, and a Fellow of the Royal Society of Canada. He won the IJCAI Award for Research Excellence in 1993. Publications * R. Reiter (1978). On closed world data bases. In H. Gallaire and J. Minker, editors, ''Logic and Data Bases'', pages 119–140. Plenum., New York. * R. Reiter (1980). A logic for default reasoning. ''Artificial Intelligence'', 13:81-132. * R. Reiter (1987). A theory of diagnosis from first principles. ''Artificial Intelligence'', 32:57-95. * R. Reiter (1991). The frame problem in the situation calculus: a simple solution (sometimes) and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Luís Moniz Pereira
Luís Moniz Pereira (born in 1947 in Lisbon, Portugal) is Professor of Computer Science and Director of the AI centre at New University of Lisbon. His research is in the field of logic programming and in knowledge representation, reasoning and cognitive science more generally."Interview with EMCL professor Luís Moniz Pereira in the "i" journal" He was the founding president of the Portuguese AI association, and has been a founding member of the editorial boards of the journals of Logic Programming, Automated Reasoning, New Generation Computing, Theory and Practice of Logic Programming, Universal Computer Science, Applied Logic, Electronic Transactions on AI, and of the Computational Logic Newsletter. He is also advisory editor of the International Journal of Reasoning-Based Intelligent Systems and Associate Editor for Artificial Intelligence of the ACM Computing Surveys ''ACM Computing Surveys'' is peer-reviewed quarterly scientific journal and is published by the Association for C ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jack Minker
Jack Minker (4 July 1927 – 9 April 2021) was a leading authority in artificial intelligence, deductive databases, logic programming and non-monotonic reasoning. He was also an internationally recognized leader in the field of human rights of computer scientists. He was an Emeritus Professor in the University of Maryland Department of Computer Science, which is part of the College of Computer, Mathematical, and Natural Sciences. Education and early life Minker was born on July 4, 1927 in Brooklyn, New York. He received his Bachelor of Arts degree from Brooklyn College in 1949, Master of Arts degree from the University of Wisconsin in 1950, and PhD from the University of Pennsylvania in 1959 for research supervised by Bernard Epstein. Career and research Minker started his career in industry in 1951, working at the Bell Aircraft Corporation, RCA, and the Auerbach Corporation. He joined the University of Maryland in 1967, becoming Professor of Computer Science in 1971 and the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Robert Kowalski
Robert Anthony Kowalski (born 15 May 1941) is an American-British logician and computer scientist, whose research is concerned with developing both human-oriented models of computing and computational models of human thinking. He has spent most of his career in the United Kingdom. Education He was educated at the University of Chicago, University of Bridgeport (BA in mathematics, 1963), Stanford University (MSc in mathematics, 1966), University of Warsaw and the University of Edinburgh (PhD in computer science, 1970). Career He was a research fellow at the University of Edinburgh (1970–75) and has been at the Department of Computing, Imperial College London since 1975, attaining a chair in computational logic in 1982 and becoming emeritus professor in 1999. He began his research in the field of automated theorem proving, developing both SL-resolution with Donald Kuehner and the connection graph proof procedure. He developed SLD resolution and the procedural interpretation ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Alain Colmerauer
Alain Colmerauer (24 January 1941 – 12 May 2017) was a French computer scientist. He was a professor at Aix-Marseille University, and the creator of the logic programming language Prolog. Early life Alain Colmerauer was born on 24 January 1941 in Carcassonne. He graduated from the Grenoble Institute of Technology, and he earned a PhD from the Ensimag in Grenoble. Career Colmerauer spent 1967–1970 as assistant professor at the University of Montreal, where he created Q-Systems, one of the earliest linguistic formalisms used in the development of the TAUM-METEO machine translation prototype. Developing Prolog III in 1984, he was one of the main founders of the field of constraint logic programming. Colmerauer became an associate professor at Aix-Marseille University in Luminy in 1970. He was promoted to full professor in 1979. From 1993 to 1995, he was head of the Laboratoire d'Informatique de Marseille (LIM), a joint laboratory of the Centre National de la Recherche Scienti ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jacques Cohen (computer Scientist)
Jacques Cohen is a professor emeritus of computer science and of the Volen National Center for Complex Systems at Brandeis University. There he served as the TJX/Feldberg Chair in Computer Science. He has performed research in algorithms, parsing and compiling, memory management, logic and constraint logic programming, and parallelism. Cohen has published extensively, frequently with undergraduate and graduate students. Pioneering many aspects of modern computer science, Cohen's work includes experimentation, education, and research, directed and carried out at many institutions of higher learning, including Brandeis University, Brown University, MIT, Wellesley College, and French universities in the cities of Marseilles, Grenoble, and Nancy. In 1997, the Association for Logic Programming recognized Cohen as one of the fifteen "Founders of Logic Programming". Biography In Belo Horizonte, Cohen attended the Engineering School of the State University of Minas Gerais. He graduat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Imperial College London
Imperial College London, also known as Imperial, is a Public university, public research university in London, England. Its history began with Prince Albert of Saxe-Coburg and Gotha, Prince Albert, husband of Queen Victoria, who envisioned a Albertopolis, cultural district in South Kensington that included museums, colleges, and the Royal Albert Hall. In 1907, these colleges – the Royal College of Science, the Royal School of Mines, and the City and Guilds of London Institute – merged to form the Imperial College of Science and Technology. In 1988, Imperial merged with St Mary's Hospital, London, St Mary's Hospital Medical School and then with Charing Cross and Westminster Medical School to form the Imperial College School of Medicine. The Imperial Business School was established in 2003 and officially opened by Elizabeth II, Queen Elizabeth II. Formerly a constituent college of the University of London, Imperial became an independent university in 2007. Imperial is o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
