|
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. He was awarded the Doctor honoris causa by the Technical University of Dresden TU Dresden (for german: ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lisbon
Lisbon (; pt, Lisboa ) is the capital and largest city of Portugal, with an estimated population of 544,851 within its administrative limits in an area of 100.05 km2. Grande Lisboa, Lisbon's urban area extends beyond the city's administrative limits with a population of around 2.7 million people, being the List of urban areas of the European Union, 11th-most populous urban area in the European Union.Demographia: World Urban Areas - demographia.com, 06.2021 About 3 million people live in the Lisbon metropolitan area, making it the third largest metropolitan area in the Iberian Peninsula, after Madrid and Barcelona. It represents approximately 27% of the country's population. [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Portugal
Portugal, officially the Portuguese Republic ( pt, República Portuguesa, links=yes ), is a country whose mainland is located on the Iberian Peninsula of Southwestern Europe, and whose territory also includes the Atlantic archipelagos of the Azores and Madeira. It features the westernmost point in continental Europe, and its Iberian portion is bordered to the west and south by the Atlantic Ocean and to the north and east by Spain, the sole country to have a land border with Portugal. Its two archipelagos form two autonomous regions with their own regional governments. Lisbon is the capital and largest city by population. Portugal is the oldest continuously existing nation state on the Iberian Peninsula and one of the oldest in Europe, its territory having been continuously settled, invaded and fought over since prehistoric times. It was inhabited by pre-Celtic and Celtic peoples who had contact with Phoenicians and Ancient Greek traders, it was ruled by the Ro ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
New University Of Lisbon
NOVA University Lisbon ( pt, Universidade NOVA de Lisboa, ), or just NOVA, is a Portuguese public university whose rectorate is located in Campolide, Lisbon. Founded in 1973, it is the newest of the public universities in the Portuguese capital city, earning its name as the "New" (NOVA) University of Lisbon. The institution has more than 20,000 students, 1,800 professors and staff members distributed through five faculties, three institutes and one school, providing a variety of courses in several fields of knowledge. History NOVA University Lisbon was founded in 1973 and is the newest public university in the Lisbon metropolitan area, with teaching units in Lisbon, Almada, Oeiras, and Cascais. It was founded as a response to ever-increasing demand for higher education in Portugal and in Lisbon in particular. While its early years focused on graduate and specialist programs, NOVA started expanding its teaching and research from 1977 onwards. The structure of NOVA was organiz ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logic Programming
Logic programming is a programming paradigm which is largely based on formal logic. Any program written in a logic programming language is a set of sentences in logical form, expressing facts and rules about some problem 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'': :H :- B1, …, Bn. and are read declaratively as logical implications: :H if B1 and … and Bn. H is called the ''head'' of the rule and B1, ..., Bn is called the ''body''. Facts are rules that have no body, and are written in the simplified form: :H. In the simplest case in which H, B1, ..., Bn are all atomic formulae, these clauses are called definite clauses or Horn clauses. However, there are many extensions of this simple case, the most important one being the case in which conditions in the body of a clause can also be negations of atomic formulas. Logic programming languag ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Knowledge Representation
Knowledge representation and reasoning (KRR, KR&R, KR²) is the field of artificial intelligence (AI) dedicated to representing information about the world in a form that a computer system can use to solve complex tasks such as diagnosing a medical condition or having a dialog in a natural language. Knowledge representation incorporates findings from psychology about how humans solve problems and represent knowledge in order to design formalisms that will make complex systems easier to design and build. Knowledge representation and reasoning also incorporates findings from logic to automate various kinds of ''reasoning'', such as the application of rules or the relations of sets and subsets. Examples of knowledge representation formalisms include semantic nets, systems architecture, frames, rules, and ontologies. Examples of automated reasoning engines include inference engines, theorem provers, and classifiers. History The earliest work in computerized knowledge represe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Reasoning
Reason is the capacity of consciously applying logic by drawing conclusions from new or existing information, with the aim of seeking the truth. It is closely associated with such characteristically human activities as philosophy, science, language, mathematics, and art, and is normally considered to be a distinguishing ability possessed by humans. Reason is sometimes referred to as rationality. Reasoning is associated with the acts of thinking and cognition, and involves the use of one's intellect. The field of logic studies the ways in which humans can use formal reasoning to produce logically valid arguments. Reasoning may be subdivided into forms of logical reasoning, such as: deductive reasoning, inductive reasoning, and abductive reasoning. Aristotle drew a distinction between logical discursive reasoning (reason proper), and intuitive reasoning, in which the reasoning process through intuition—however valid—may tend toward the personal and the subjectively opaq ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
ACM Computing Surveys
''ACM Computing Surveys'' is a quarterly peer-reviewed scientific journal published by the Association for Computing Machinery. It publishes survey articles and tutorials related to computer science and computing. The journal was established in 1969 with William S. Dorn as founding editor-in-chief. According to the ''Journal Citation Reports'', the journal has a 2021 impact factor of 14.324. In a 2008 ranking of computer science journals, ''ACM Computing Surveys'' received the highest rank "A*". See also *''ACM Computing Reviews'' References External links * Computer science journals Information systems journals Computing Surveys ''ACM Computing Surveys'' is a quarterly peer-reviewed scientific journal published by the Association for Computing Machinery. It publishes survey articles and tutorials related to computer science and computing. The journal was established in 196 ... Publications established in 1969 Review journals {{compu-journal-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Technical University Of Dresden
TU Dresden (for german: Technische Universität Dresden, abbreviated as TUD and often wrongly translated as "Dresden University of Technology") is a public research university, the largest institute of higher education in the city of Dresden, the largest university in Saxony and one of the 10 largest universities in Germany with 32,389 students . The name Technische Universität Dresden has only been used since 1961; the history of the university, however, goes back nearly 200 years to 1828. This makes it one of the oldest colleges of technology in Germany, and one of the country’s oldest universities, which in German today refers to institutes of higher education that cover the entire curriculum. The university is a member of TU9, a consortium of the nine leading German Institutes of Technology. The university is one of eleven German universities which succeeded in the German Universities Excellence Initiative, Excellence Initiative in 2012, thus getting the title of a "Univer ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
ECCAI
The European Association for Artificial Intelligence (EurAI) (formerly European Co-ordinating Committee for Artificial Intelligence (ECCAI)) is the representative body for the European artificial intelligence community. EurAI was established in 1982. Founding president of EurAI was Wolfgang Bibel. The aim of EurAI is to promote the study, research and application of artificial intelligence (AI) in Europe. Activities Every even-numbered year, EurAI, jointly with one of the member associations of EurAI, holds the European Conference on Artificial Intelligence The biennial European Conference on Artificial Intelligence (ECAI) is the leading conference in the field of Artificial Intelligence in Europe, and is commonly listed together with IJCAI and AAAI as one of the three major general AI conferences worl ... (ECAI). The conference has become the leading conference for this field in Europe. The Artificial Intelligence Dissertation Award sponsored by EurAI has been awarded since 1998 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
IMDEA Software Institute
IMDEA () is a project founded by the Madrid Regional Government, included in the ''IV Regional Plan of Scientific Research and Technological Innovation 2005-2008 (PRICIT)'', for the purpose of setting up advanced research centers and higher education and training in the Community of Madrid. Between 2006 and 2008 the project created nine IMDEA Institutes of which two (Mathematics and Social Sciences) were closed. Organization Each of the IMDEA Institutes is managed by an independent foundation. There are currently seven, each specializing in an area of knowledge, as indicated by their names: * IMDEA Water Institute combines knowledge from experimental, legal and social sciences as well as engineering, to address a variety of water management concerns in the 21st century. Its research includes scientific and social aspects of water, including supply and demand; quality and quantity; physical, chemical and biological characteristics; time and space variability; watershed processes; ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Academic Staff Of NOVA University Lisbon
An academy (Attic Greek: Ἀκαδήμεια; Koine Greek Ἀκαδημία) is an institution of secondary or tertiary higher learning (and generally also research or honorary membership). The name traces back to Plato's school of philosophy, founded approximately 385 BC at Akademia, a sanctuary of Athena, the goddess of wisdom and skill, north of Athens, Greece. Etymology The word comes from the ''Academy'' in ancient Greece, which derives from the Athenian hero, ''Akademos''. Outside the city walls of Athens, the gymnasium was made famous by Plato as a center of learning. The sacred space, dedicated to the goddess of wisdom, Athena, had formerly been an olive grove, hence the expression "the groves of Academe". In these gardens, the philosopher Plato conversed with followers. Plato developed his sessions into a method of teaching philosophy and in 387 BC, established what is known today as the Old Academy. By extension, ''academia'' has come to mean the accumulation, dev ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
