 | |
Knowledge Representation and the Reasoning Agent
5th Augustus De Morgan Workshop
King's College London
3rd - 5th November 2003
|
The topic for this year responds to the rising importance of
knowledge representation and reasoning in various disciplines, in
particular
- reasoning about agents' knowledge,
- legal representation and reasoning,
- analysis and assessment of legal evidence,
- logical reasoning and natural language,
- representation and parsing of grammatical structure,
- applications of KR&R to the Semantic Web,
- spatial and temporal KR&R.
Knowledge representation has played a crucial role in the
development of artificial intelligence, and remains one of the
strongest subfields of AI. From the earliest days of AI, leading
researchers have argued that in order for a program to act
intelligently, it must have sophisticated methods of representing
and reasoning with knowledge. The contribution of KR
research—e.g., the use of formal logic for representing
knowledge, automated theorem proving techniques, logic
programming, semantic networks, and inheritance techniques—have
been at the forefront of the AI intellectual scene.
All the major areas involved are represented by the following
speakers, all of whom are world-famous researchers:
| Dr. Anatoli Degtyarev | (King's College London) |
| Prof. Wiebe van der Hoek | (University of Liverpool) |
| Prof. Ian Horrocks | (University of Manchester) |
| Prof. Ruth Kempson | (King's College London) |
| Prof. David Makinson | (King's College London) |
| Prof. Donald Nute | (University of Georgia) |
| Dr. Henry Prakken | (Universiteit Utrecht) |
| Prof. Marek Sergot | (Imperial College, London) |
| Prof. Joerg Siekmann | (Universität des Saarlandes) |
| Prof. Frank Wolter | (University of Liverpool) |
- The attendance fee is £15 sterling (£10 for students).
- If you would like to attend please contact Jane Spurr.
- The workshop will take place in the Great Hall, King's College, Strand,
London.
NB. We are offering attendees facsimile copies of two relevant books by De Morgan - "Probability" and "Formal Logic" - in paperback edition for £12
each. Please reserve your copies with Jane
Spurr.
From EPSRC referees reports:
"I am normally rather critical of the value of conferences to
inspire and promote research... The De Morgan conferences have been, at minimal
cost, an outstanding exception to this bleak picture."
"This is one of a series of seminal conferences on knowledge
representation, bringing together experts in logic, language
programming, mathematics and AI. The proceedings of each of these
conferences very much represent the state-of-the-art in this area."
"These conferences are part of one of the most important and exciting
interdisciplinary projects going on today."
Further information on the background of Augustus De Morgan Workshops.
Programme:
Monday 3rd November
| 09.30-10.00 | | Registration |
| 10.00-11.00 | | Dov Gabbay: Introduction |
| 11.30-13.00 | | David Makinson: "Inductive versus Fixpoint Definitions in Default Logic" |
| 14.00-15.30 | | Marek Sergot: "Logical Theories of Duties and Rights" |
| 16.00-17.30 | | Donald Nute: "Agents, Epistemic Justification, and Defeasibility" |
| 19.00- | | Conference Dinner |
Tuesday 4th November
| 09.30-11.00 | | Ian Horrocks: "Reasoning with Expressive Description Logics: Theory and Practice" |
| 11.30-13.00 | | Joerg Siekmann: "Automated Reasoning with OMEGA" |
| 14.00-15.30 | | Anatoli Degtyarev: "Monodic Temporal Resolution" |
| 16.00-17.30 | | Frank Wolter: "Reasoning about Concepts and Distances" |
Wednesday 5th November
| 09.30-11.00 | | Ruth Kempsom: "Language as a Dynamic Tool" |
| 11.30-13.00 | | Henry Prakken: "Argumentation and Dialogue" |
| 14.00-15.30 | | Wiebe van der Hoek: "Dynamic Epistemic Logic" |
| 16.00-17.30 | | Questions and Discussion |
Accommodation:
London is quite expensive for accommodation, but the following alternatives
are at the lower end of the price range:
- City of
London Youth Hostel
£20 under 18 / £24 over 18, per night bed and
breakfast;
- Hotel Strand Continental
143 Strand, London WC2R 1JA
Tel. +44 20
7836 4880. Fax. +44 20 7379 6105.
Single room £32, Double room £40,
Family room £50, Twin room £45, Triple room £55. Prices include breakfast.
This hotel is for those who favour convenience (it is right next to King's
College) and cuisine (it contains the authentic India Club restaurant)
over comfort.
- Cosmo Bedford House Hotel
27 Bloomsbury Square, London WC1 2QA
Tel. +44
20 7636 4661. Fax. +44 20 7636 0577. Email. cosmo.bedford.hotel@dial.pipex.com.
Single room £38, Double room £50.
- Tavistock Hotel
Tavistock Square, London, WC1H 9EU
Tel. +44 20 7636 8383. Reservations: +44 20 7278 7871/2/3
Single room £61, Double room £82.
Food:
King's College has a basic canteen in the student's union building. The India Club (143 Strand) serves authentic indian cuisine. There is a Thai restaurant and a Pizza Express in the same row
of buildings.
We are grateful to
the British Logic Colloquium and the EPSRC
for financial support.
Organised by
Group of Logic, Language and
Computation, King's College London.
Roman Kontchakov -- 08 November 2004
|